(defun main (&rest argv) (declare (ignorable argv)) (let* ((n (read)) (ans 4.0d0)) (dotimes (i n) (setf ans (* ans 0.75))) (format t "~012,10d~%" ans))) (main)