(defun main (&rest argv) (declare (ignorable argv)) (let* ((n (read))) (dotimes (i n) (dotimes (_ (- n i)) (princ n)) (terpri)))) (main)