(defun main (&rest argv) (declare (ignorable argv)) (let* ((n (read)) (k (read))) (format t "~d~%" (- (ash 1 (- n k)) (if (= k 1) n 0))))) (main)