[
    "(lam (app (app (app logo_forLoop 3) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 1)) (app (app logo_DIVA logo_UA) 3)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 3) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 2)) (app (app logo_DIVA logo_UA) 3)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 8) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 1)) (app (app logo_DIVA logo_UA) 8)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 8) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 2)) (app (app logo_DIVA logo_UA) 8)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 4) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 2)) logo_epsA) $0)))) $0))) (app (app logo_PT (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) $0))))) $0))",
    "(lam (app (app (app logo_forLoop 6) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) (app (app (app logo_FWRT logo_ZL) (app (app logo_DIVA logo_UA) 6)) $0))))) $0))",
    "(lam (app (app (app logo_forLoop 9) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 1)) (app (app logo_DIVA logo_UA) 9)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 9) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 2)) (app (app logo_DIVA logo_UA) 9)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 6) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) (app (app logo_PT (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) $0))))) $0))",
    "(lam (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 1)) logo_epsA) $0)))) $0))",
    "(lam (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 1)) logo_epsA) $0)))) (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 1)) logo_epsA) $0)))) $0)))",
    "(lam (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 2)) logo_epsA) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 4) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) (app (app logo_PT (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) $0))))) $0))",
    "(lam (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 2)) logo_epsA) $0)))) (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 2)) logo_epsA) $0)))) $0)))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 5)) logo_epsA) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 5)) logo_epsA) $0)))) (app (app (app logo_forLoop logo_IFTY) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_epsL) 5)) logo_epsA) $0)))) $0)))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 1)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))",
    "(lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))",
    "(lam (app (app (app logo_FWRT logo_ZL) (app (app logo_DIVA logo_UA) 4)) (app (app (app logo_FWRT logo_UL) logo_ZA) $0)))",
    "(lam (app (app (app logo_forLoop 4) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 2)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 1)) (app (app logo_DIVA logo_UA) 5)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 2)) (app (app logo_DIVA logo_UA) 5)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 6) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 1)) (app (app logo_DIVA logo_UA) 6)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 9) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) $1)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 4) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_forLoop 4) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 9) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 4)) (app (app logo_SUBA (app (app logo_DIVA logo_UA) 2)) (app (app logo_DIVA (app (app logo_DIVA logo_UA) 2)) 9))) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 6) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 2)) (app (app logo_DIVA logo_UA) 6)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 7) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 1)) (app (app logo_DIVA logo_UA) 7)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 3) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) (app (app logo_PT (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) $0))))) $0))",
    "(lam (app (app (app logo_forLoop 5) (lam (lam (app (app logo_GETSET (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) (app (app logo_PT (lam (app (app (app logo_FWRT logo_UL) logo_ZA) $0))) $0))))) $0))",
    "(lam (app (app (app logo_forLoop 7) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) 2)) (app (app logo_DIVA logo_UA) 7)) $0)))) $0))",
    "(lam (app (app (app logo_forLoop 7) (lam (lam (app (app (app logo_FWRT (app (app logo_MULL logo_UL) $1)) (app (app logo_DIVA logo_UA) 4)) $0)))) $0))"
]