1 2 ;;; Amb-Eval value: ((8 35) (3 110) (3 20))
Why they appear in this order? Because first we find
(3 20) and it gets added in the end because of this statement
(permanent-set! pairs (cons p pairs)).
prime-sum-pair is the procedure given at the beginning of this section in the book.