(mod (Q R)
  (include *standard-cl-23*)
  (defun G (Q R)
    (if Q
      (G (- Q 1) (* (+ 1 Q) R))
      (* (+ 1 Q) R)
      )
    )
  (G Q R)
  )