SAT
1011000100111100111100110011001001111101010000000010011011001101000011110101001001001011010010000001111011111110001100110111011011010111001110101001010000101100111111011111000100101010000101000100111000010011001100101011110100111101110011101011011010100100110011001011001001110111000010010111001010110011010001110111001010011111011001100100111111101000110011011111011010101100000100000000011101100011000100000011100001000010101001101101010100011101000011000000101010000011010000011010100101011011011101101101000101001101000101101011111010011011110100111001111011010001000111100111110010010111011111011010101010011100001011000110100111100011111011011000111010001010000100111110001111001100101010000101101011010110111001100010011100010100101000110000011010001000010010010001001011110000010101000111001000011100011010001101010010110101100010111001011111111001000110101100011101010000000100010111001110110101010111111010001010010000111110111111000100111001100110000100110101100000011001110111000100011001100100010100101111010011010001011011111111111001010111001000010011010101111010111001101111000010100011110011011011011000101000000010011111110010101000000100011010000111001100111001010100001101011100110111000100111101110100001100110011111010001100011000100110111010101000101000100110110100011110011011000110001010101011011101010101110101111000110110000111101110001010000110101011000001111100110010111000101001011001111101000010001110000101001101000100011000001000000110011100011111110000011011010000111000110000110000111000001001010001000001101001011100100111011110000011011100110100000011011000001010111010111010010100011010010011110000000011101111100101100101010100111010000100001010100011100010111010010001001011010011111101010111110000111010010010111111010001011110110011111111110001110000001111101011101111100100101101111000110010011101101110000111100000110100101111011010011111001010111110101100000001111011101100100011110010100001110100010101111101110111111111100110100010111011110000111111001001111111100011000101101111011000011101011100000111011010111100101111001111110010100001001101010101111100001101101000111101000001000010000011101101100011000100011000110011100001101000101110011100111011000100000101101111000110110100100101101000010010100101010010001111010111101000011011111000010001100101001001100001101101100101001110000100010001011101100011101111111101101001011101111001100100010101101000100100101000101010001110000111000110101001001001001011111100001110110001010011101111000010001110110010111110110010111111001101110111001101110000011111111001100100101010111011011011100010000000100000000100110011110011110000111110100011000010011111110111010110100111110001001010001100100101000100010100001100111101111100110100100011010100001111101000111011000001111101001110001000001100100111000101101010101001001101010100011111000111101011110110010001110101100111010010111001011011011101001111010111111011010110100011100110000011001110111111001001111011011000001110101101001111001010110010111100011000011010111111100010001011100000000101101011100011001111000110101010100000001101000100011100100101110100101101010100111100000010010111010110001011101100100110011010011101101010001110000000001111001101001111011011111010000111100010110011111101110101101111001101110000010110101100010011100110010110100101001010100111110101010000000100001001011010101100001100110100100001100001110000110001010001111011101111101110000100111110111011001101110111101011000010011110011011111100000001001001100011101000111111110000101111000111001100001111101101001100011000010001001000011111011000001011010111011011001110100000010001100011101110100001111100101111110011011100111011000110001000111110111001110000101000101011001100010110100000011111000101001100101100010010101011111011110100101011100111001001100001100100010010111110010011101110011101010110101011100110011010100011000010010010101100101011101011111010011011100010010011010111110111100100011001001101101101010111011100110000110101000011101111110101100100101110100001011111001111001010100100110100100101001110011010011101111111011010110001111000111101110011111110101100110001000000101000111000000001010011111100010110011111000101000111000100000001100001000101001010110101001001111001010010110010101101000011100110011011111001011101010111001010111101010110000101000010110000111000101110011111010100101111001001000001101000000011001000101110010010010001100100001001100111010001101101011110010111111110110110101001011101101000110111110001000101100000110101110100001001000000111111010110001000100000000001000100010110111101110110111010000111110001110000011001010011100001110111100101001101001001001101011110001111000110111111110100010101011101111010101010101000001010001010011100110100101111101101111010110000000110110101011100101010011001100111000001100101110101101011000101100100001111011101010010101101001001011100100010101101011101111010101010101110101001000111000001011001000111011100000001000010000100111110110100010101001000000001110010101110001011111001100110010100100011010101010110011101111001101000110101000000111001000101001101010001101010001111011101101101101001010001000101111011010110110010100000111000011100100011000101101000101000001100100111101001100100010110101111111111001010010000000000110010011100010100110110011011011010011001111010001001000010111110100001110111011100101100011011011010111100010010100011000101010110101000111000010010110100101100011001100000111101110100111011111011001111010011100110010001111000100111011100011010010110011111111010111100100101011001000100100001101001001110001101110110010101011110011001000000010011100010110001010111100100000100110011101100001101011011001110100111101101100100000101111110110100000111101111111111000010010101111011101100010111011011010111100001101011110101110111001110000011111110001010011011011001010101110000101110100111000001100110101100100011010001011011000001110001001001110100000010011011100111000101000110100101000110100011001110100110110001010000011001001001111011001010111111011001110010110111010011001000110110001001100101100111100001010001111101110110100111111011111101001111100000011110001000110100010110010011010000000011110011100111111010101000011110001011001000010100010011100110110001101000111110111011111101110100111001001010011110111011100001011111100011011001000100010110001101110101100010010101110100011111101100110011001111001111111101110000001100010101110111111000011000000101100010001001011011001001010011010000100000001110011010101110110110001000110001111011001100001000000001010001110011100001001001101101000100001001110011001010110010110010010010000100111010000001001000111000000101010011100010010101100001011110000010010101001100010100011101010011010111010000010000111101000010011000010010110100001111101110011110101100010001001110010001100110110011100101010010011111110000011101011101110101111001110011000000101001110001010111011000101001011011011011001000110010111011100101110010111010110000011100111111100010111001010101100100110111000101110000001111110001000110100110110100100010001000110011011010001111101100011111111110001101011001111100001100010011011011110010111000101011000001000101111100001010000100110010111111101000010010010001000001101011001101111000011101000011001100011001010001000010110001100011000101111001111101100000010010100100010010111000000001100000011001111111110100100011101001000111101011010010000001001100010100010111011010111000100110011101111110100001001100110100010100110101011010000110101001000000010110010101001110011111010100000011101101011011010101111101101011001110010110110110100001111111001110010110000011100110010000100001101100101101011000111111100100011111001100000110001011111100001101001101000101000000000000001010110100111111001011000110010101111000011000111001011000000011110111110101111011111110011111010001101001011101000011101110010011110101101110011010010101001011110110111010110001001011010101010010100001000000000110100010010101111111000011111011011001101111100000000111000011101000110100011111101110010111000110111000011101011001010001000001011011100110001001101111111011111011011000000010101101001100111100001111000000100000001111010001000101101011101001100011101001110001101000000100111010011111100001111101101101011101000101110111110001110100110000111100000000101011100101110011000111001001000101010110001101010100000010110100010011011001111111110101100011101110001000001000010010100101110001011010010000001000111011001110111001000001001011100000000100111101001111001101011110110101000100100011111101001110100001001101110000101111010110110111000011000000000000010001001100110011111100011000101110100010011111001101100111111000000100111101000100011101010100110000011001111001101001101111010010110000110111000100101010000011111001000010010110000110110101010111011100110100001010101101110011101010110001011110101011110011110100101001110100100000101100001110100010101011001110100001101110101001101011111110101001111101010100001010101010110101010001100100101110100010110100001100110100101010001110111111111101110111011000001110010111100000110011110110001110111111111101001000101011111100001111001001011101100101010111111101011111011111111010011000101000100100000110101011011000110001001011011111101101001111110001101000011100000010001110011111011010011011000110110101111000011111110001001000101111001110011111100111011000010111101100101000110001110100001001111111110100101000001011101110001010110100100111110011011000100100101010011100011001100000101110110110101011011001100110010110101000010111001101111110010011010110011101101000111101000011010001100000011011000001100100011110010010101000001000110100011011000000000000100101100100001101100101111101000011010000000001011100101010010000000101101011110110100010100111111100000011101010001111001010001101110011101001110101011111110000111110011010001010011100111010111011101011010011011101111100110101011000111010011100110010100110011111100101110101011010000010111010000011010000000101111010100111110111110100001111100011000010011101110101001101010011100011010000101110