[

    "(A (lam (lam (+ (a b c $0 f) (a b c $0 f)))))",
    "(A (lam (lam (+ (a b z $0 f) (a b z $0 f)))))"
]