[
    "(a (lam (cons (car $0))))",
    "(a (lam (cons (+ 1 (car $0)))))"
]