(#0=dotimes(x 7)(#0#(y 9)(#0#(z(+ x 2))(prin1(1+ y)))(terpri)))