(ATOM NIL)
(CONS () ())
(QUOTE ((A) B))
(EQ (QUOTE A) (QUOTE B))
(EQ (QUOTE A) (QUOTE A))
(CONS (QUOTE A) (QUOTE B))
(CONS (QUOTE A) (CONS (QUOTE B) NIL))
(CAR (CONS (QUOTE A) (QUOTE B)))
(CDR (CONS (QUOTE A) (QUOTE B)))
(CDR (CONS (QUOTE A) (CONS (QUOTE B) NIL)))
(COND ((QUOTE T) (QUOTE A)))
(COND ((QUOTE NIL) (QUOTE A)) ((QUOTE T) (QUOTE B)))
(LAMBDA (Z) Z)
((LAMBDA (Z) (CAR Z)) (CONS (QUOTE A) (QUOTE B)))