[

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