;; 11.1

(define (answer-for-11.1)
  '(1 10 22 4 0))

;; To see the derivations, evaluate the following expressions in the
;; interpreter from lecture 22:

;;  1. -(3, 2)
;;  2. let x = 3 in +(let x = 7 in x, x)
;;  3. ((proc(x)proc(y)*(y, 2) 10) 11)
;;  4. let x = 3 in ((proc(x)proc(y)-(x, y) 7) x)
;;  5. let f = proc(g)*((g 3),2) in (f proc(w)if w then (f proc(x)0) else w)



;; 11.2


; Initial state:
;
; Register 1: 0
; Register 2: 3
; From space: 1 17 12 4 0 3 3 3 3 2 5  3  1  14 0
;             0 1  2  3 4 5 6 7 8 9 10 11 12 13 14
;             ^       ^   ^       ^       ^       

; After registers updated:
; Register 1: 0
; Register 2: 3
; From space: F 0  12 F 3 3 3 3 3 2 5  3  1  14 0
;             0 1  2  3 4 5 6 7 8 9 10 11 12 13 14
;             ^       ^   ^       ^       ^       
; To space:   1 17 12 4 0 ...

; After sweeping through moved records:
; Register 1: 0
; Register 2: 3
; From space: F 0  12 F 3 3 3  3 3 2 5  3  1  14 0
;             0 1  2  3 4 5 6  7 8 9 10 11 12 13 14
;             ^       ^   ^        ^       ^       
; To space:   1 17  5 4 0 1 14 0 ...
;             ^

(define (answer-for-11.2)
  '(0 3 
      1 17 5 
      4 0 
      1 14 0 
      0 0 0 0 0 0 0))