(defun f`p(dotimes'3(format t"~{   ~*~}~{~A~^.~}
"p #1=`(,@p,(+ .'1)))(if(> .`1)(f(- .`1)#1#))))(f(read)())