[
    "(lam (logo_forLoop 6 (lam (lam (logo_FWRT (logo_MULL logo_UL $1) (logo_SUBA (logo_DIVA logo_UA 4) logo_UA) $0))) $0))"
]