[
    "(lam (a (lam (lam (a (lam (lam (a (lam (lam ($5 b))) 0))) 0))) 0))"
]