(defun prl (k m)
(labels ((print-line (n)
(cond ((> n 0)
(princ n)
(print-line (- n 1)))
(t (terpri)))))
(print-line k)
(cond ((> m 1)
(prl (+ k 1) (- m 1))))))
(prl 3 4)
(terpri)
(prl 1 4)
KGRlZnVuIHBybCAoayBtKQogIChsYWJlbHMgKChwcmludC1saW5lIChuKQogICAgICAgICAgICAoY29uZCAoKD4gbiAwKQogICAgICAgICAgICAgICAgICAgKHByaW5jIG4pCiAgICAgICAgICAgICAgICAgICAocHJpbnQtbGluZSAoLSBuIDEpKSkKICAgICAgICAgICAgICAgICAgKHQgKHRlcnByaSkpKSkpCiAgICAgICAgICAocHJpbnQtbGluZSBrKQogICAgICAgICAgKGNvbmQgKCg+IG0gMSkKICAgICAgICAgICAgICAgICAocHJsICgrIGsgMSkgKC0gbSAxKSkpKSkpCgoocHJsIDMgNCkKKHRlcnByaSkKKHBybCAxIDQp