(define hanoi
  (lambda (n source dest aux)
    (if (= n 0)
	'()
	(append
	 (hanoi (- n 1) source aux dest)
	 (cons (cons source dest)
               (hanoi (- n 1) aux dest source))))))