SAT
1010001011010011110011101001000101011000110011100011111001101111110001110110010111000110101010101111001011000011110011100001010110110010110001111010100100110001000000001001000100101100001001101100110011011011100010000111101100111100000100100100000101010000010100110111100001100100101001000111000101010001111101110110001110001111110010011011001110000100110001111100010110011101001111100110100000011000111000110101010001100101100110001110011100010110000100101110111100111010101111101100010101101011000010100000100010111111101001111100110100101010000011101000010100101100010101001000010000000111111110010010011101011110010010011000000111111010111100100101110110010000101100001110010000100111111000010100111110111111010000000100100101101110111001010000100001010100001110111110101111101001110101000111110100110001100000000000000010011001100101001010111110110100111000010100111101010000010111111000001110010000010100100110011011000011011001100110111001010001100011011001011011110010010011010001100110111101000001101101011011011000000110010010001110001001100000110100010001100010100011110110011000111111001110101111000001001000011000100111001011111111101001001111101011011101010110100011011111001000101001100000010101001010100001001000100001000100000110111011101100100000001111111011011111110001001011000111001101010000111110010010000010000111110110100100111001011010010010001011110000010110011111000111010011010011111110110110010101111111010010101110010001110101100010111110101000101100111011101000011000011101001101100010010110001101011100000101111001000010000110100011101111001011111011111011110101110111100001100111010001111100111111101101011011111011010110101100010101010011011111011010001011010101000111011000010011110011000001100111110011100111001011011111001100100001100100100011010101010011001011000000011100001111001111010111001111110000010000100111011011001111001000110010011000110011111100110001010101000101000011001100101011111101101111011010011101101110000100010001110100001100001001110101110011010000101001001001011000111110011010101011101001000100110011110010111010110111010111101100001111100000101110000110110001111001000100111011111111100000111000110100011001111111001000101010011011001011101000011110000110101101011010011011010010011000000110001011010001001100101000100100011011001000001111100010001111000100000100101010000011110100000111111101000011011000100010101110010001101010100100000011001111000100001100010001001100110010010010100000001100110101101000010011100100111101101011011111111001110110001101001100101010010110011001001010100011001111111000011000100100111100001101110110011111101010000100000100010001010000100001110100110100011010100010001010001010010111011110001001100111011101000011010011100000001010100000110000101111101101100101111101111011011110101011110100110000010110011001011111100100001001100100101000000001110101101001110000000100001001110000111011111010000100101000101000011101000101100101010100111111111000010001001111111101101010100000101000000011010101001100101001010000010010011011101101101010000010000100110011011101001001010011001110111110101111000011100000100001111011001010010000101100110100101000110011011001110100111001011010111101111111110100100000100010101011111100010001101101110001011101010100100010100110010110011101010101100101001010100111110010001010000001100001011111100111011000001001111101001000111110110111110100010110101101100001110101101111000001111000100010101110101010110000111110110111101001001111101001100110101010101110100111011100010001101001000011011001100111110011100100011000100100001111010110001100000000000111001111111011001011001010000110010010000001010010110100100011101100100000011010011111110111000010000011110011000011000011001101011010011011101000000000111111000110011111111011011110111000011001100000010010011011100011110001011101100101111110000110101101000010110101101011000111101001000001100011001101001001111100001011001010111101000111110000101011110001110010011010100110011010010000010011010101011001001101000010111001000000101010110111010101111100001011100011000000111100011101011111001110011001110110110001101011110101000111001110001011100111000001101011101011001100100001110010010011110110111110111101100000010010011010011000010010010000011111110001001001011110111000100100110111100001111100101000010100101110001001000111101110110110001110001001000110011100100111011000111001000010101011011001101110001011111010101010011011010101100101101100001011011000101110110101001110010111101011100001111101011000001010011110101011001111000101101011110111001111111010111011011011111101110101111110011101010000111010001011110000100111011011001111111011100000000011000100111000111000111111110000000110100110101001101001110101101101000011001000010111100100010011101100110011100011100101110110100000010110111011000000111010001001110100101101001011111110110101100110010001101111000111111001011010101001100010110110110010100000110101001100100001000010001111100011001101111111010011001101111101100010011100100110100100011010110100101001110111101111110111101000010100110111000001111011110110110100110011111110111110011000011000001001100100111001110110101010010001100111101110101111001010011101010011011011011101111010010111110101000011111010000100001100010000011000001110101001000101100111111010010001110010011100000011110111001101111110001010010000001011001111101000001000000100100111011111000110010101101110111100000011000011010111001011010101111100100100001110000110111011011011001111110111111001011010101100010001101110111000111010010101100100100010000110110111111011101110100011111110000010110011101111110101010001100101100111100011000010001101000011000000111101001111110001001010110111011101011000010010010011011100110010101100101111110000000100010000100110101000101110111011111101111100011111100100100001000011110111110111010000101001001101111010111110000100110000000010000111110000110111110100001111110001100001000010101100010100111111010110110101111110101111101000010101001011101110101110011111111110011110001001101101011001100011000000001011101010001001101111000100101000010111100000010011101011111110100111001010010111011110011001011100101010111000100111101001110101110111010011111101110000100010111101011111000001011001011010011100110010010101000100100010111011000111111011011111000001111001100011001100011100000111000100010010010110101101001011011011100110110111010000000000101011001010111110111101100000001001101011000000011001000011101001101101011011001001100001111100101110011000000101001101011110100101100100100010001001110110101111100110111000110001110011001000111100111010100100011001011111100111000110000010000010110101101110011001001011011000001110000011101000110001101110110100110110010011000110110101100001010011010000100110111001111010111100100010000000001101010001010000000101100100110010110100111010000110000001100101001001011010010000010000110001111011001110110000001110111110110010010111101101011110111011000101111000111101000000011000101000000010010110001111100101010100100111010000111011101001101111100101110011101000101001001110111000100000000101110100010111000001101000011101001010110100010100001011111001011100111000100011000100100000101111100000001100000001100110110100100000010000011100010000111011001101111011010000011100110001101110111011100001110110101101000010100001100001011001011000011000111101101101101011010111010001111001100010000111101000100011100100011000000110010111001010111111001101111000001000111100011101111000011111011101001001011010100101100000100100001000110111101000111101110100111010111100111011101011000001010110100101100110110011100000111001001011110001010000010110101010111000001000110010001101100110010110100100101101111101100101100010000011011100001010100010110011110011110001011011010101101010101111110111010101000011101000110010111110010010011010110100100011001100001111110010011101000011101101100111001110111100001011110110110101110001011001100101001011001001011111001101011110000001100010111001001101011000000101011011010001100111011111011101000110001101001010111110000111010111111110010011011111001010100011010111100000101001111100010111001110010100101000100010011011011001010001110111011101101110111111011011100100110011010111110000011110011010100110100110000101000010010000111000010011111000110011101011110011101100001010000011011101111110000111111100101110110110001110010111111101111011100110100001101111011111111000111011011001111100001101110001111000011011110000101001111001010010100001111111011111000110011110111111110000111100011000111100001101010110011111010101101010110100101101000010111000010110111010110111011010000010010010000000010101011110101100000001011110000010111000110010010010011100100101100010100001000110011101010010000011101101110110111111111100100010100001011111101000000110001100001110111001110001100001100011001010000110000110000001011110000000011000111100000011101100101000001010001111110011110000100000011100100111010010000010001100111111001011000001100101011100101111010011011101011000000100010001111110111001010101000000000001010111101111000100010010011001111100000111100111010001101011100000101000110010101111001101001011100000101000011001101110000111110100010100001101010011010111000000100101101001001000010101110110100110101010011010001001110101100011100111011010000100011100000001010011111000100010001010000011000011101011101101011001011101000000100111000111101001100110110001111000010010100010101010000100001100001100110101110011001010010010010000110110111111001010010001100111001100111001011110000111100001100011111001010111011010000100011001010101011001000111110000000111011010010001100001011011100111001101111110110110100001111101011100111001110110100111100111000000011001111000011110010010100100111111010110000110111001011011110000001000100010011011111000111011001111100000001010100000111010100111011010000101010000000111101011100100110100110110111100100100110101010011110101101001111001011111011110010000010000011101101010100110011011001101101101000000000011011111110001001001110100110000111100010110001111010010110010011101101110