SA
Size: a a a
SA
SA
((lambda (p q) p) 1 2)
SA
SA
AK
J
(define (cons x y)(lambda (m) (m x y)))
(define (car z)(z (lambda (p q) p)))
(z (lambda (p q) p))
SA
SA
J
SA
SA
J
((lambda (m) (m 1 2)) (lambda (p q) p))
SA
SA
SA
(define (car z)(z (lambda (p q) p)))
SA
SA
SA
SA
SA