(defun main (&rest argv) (declare (ignorable argv)) (let* ((a (read)) (m (floor (* 3 a) 5))) (format t "~d:~2,'0d~%" (mod (+ 10 (floor m 60)) 24)(mod m 60)))) (main)