appappapplyf_1xappf_1xappidxxappappappuncurryf_2xyappappf_2xyappappappswapf_2yxappappf_2xyappappappcomposeg_1f_1xappg_1appf_1xappappconstxyxapplistifyxappappconsxnilappappappappfoldf_3g_2xnilxappappappappfoldf_3g_2xappappconsztappappf_3appg_2zappappappappfoldf_3g_2xtappsumlappappappappfoldaddid0lappappuncurryappappfoldconsidnilidappendappappcomposeappappswapfoldconsidreverseappappuncurryappappfoldappswapappendlistifynillengthappappuncurryappappfoldaddappcons102.0app1010length0length0reverse0reverse0append0append00000add0add0sum0sum0sum1fold0fold0fold1fold2fold3fold4nil0nil0cons0cons0cons1cons2listify0listify0listify1const0const0const1const2compose0compose0compose1compose2compose3swap0swap0swap1swap2swap3uncurry0uncurry0uncurry1uncurry2uncurry3id0id0id1apply0apply0apply1apply2appapply1x11x12apply2x11x12appapply0x11apply1x11appid0x14id1x14appuncurry2x16x17x18uncurry3x16x17x18appuncurry1x16x17uncurry2x16x17appuncurry0x16uncurry1x16appswap2x20x21x22swap3x20x21x22appswap1x20x21swap2x20x21appswap0x20swap1x20appcompose2x24x25x26compose3x24x25x26appcompose1x24x25compose2x24x25appcompose0x24compose1x24appconst1x28x29const2x28x29appconst0x28const1x28applistify0x31listify1x31appcons1x33x34cons2x33x34appcons0x33cons1x33appfold3x37x38x39x40fold4x37x38x39x40appfold2x37x38x39fold3x37x38x39appfold1x37x38fold2x37x38appfold0x37fold1x37appsum0x42sum1x42appappappuncurryappappfoldconsidnilx10appidx10apply2f_1xappf_1xid1xxuncurry3f_2xyappappf_2xyswap3f_2yxappappf_2xycompose3g_1f_1xappg_1appf_1xconst2xyxlistify1xcons2xnil0fold4f_3g_2xnil0xfold4f_3g_2xcons2ztappappf_3appg_2zfold4f_3g_2xtsum1lfold4add0id000luncurry2fold2cons0id0nil0id0append0compose2swap2fold0cons0id0reverse0uncurry2fold2swap1append0listify0nil0length0uncurry2fold2add0cons11000uncurry3fold2cons0id0nil0x10id1x10appapply1x11x12apply2x11x12appapply0x11apply1x11appid0x14id1x14appuncurry2x16x17x18uncurry3x16x17x18appuncurry1x16x17uncurry2x16x17appuncurry0x16uncurry1x16appswap2x20x21x22swap3x20x21x22appswap1x20x21swap2x20x21appswap0x20swap1x20appcompose2x24x25x26compose3x24x25x26appcompose1x24x25compose2x24x25appcompose0x24compose1x24appconst1x28x29const2x28x29appconst0x28const1x28applistify0x31listify1x31appcons1x33x34cons2x33x34appcons0x33cons1x33appfold3x37x38x39x40fold4x37x38x39x40appfold2x37x38x39fold3x37x38x39appfold1x37x38fold2x37x38appfold0x37fold1x37appsum0x42sum1x42apply2f_1xappf_1xuncurry3f_2xyappf_2xuncurry3f_2xyappappf_2xyswap3f_2yxappf_2xswap3f_2yxappappf_2xycompose3g_1f_1xappf_1xcompose3g_1f_1xappg_1appf_1xfold4f_3g_2xcons2ztfold4f_3g_2xtfold4f_3g_2xcons2ztappg_2zfold4f_3g_2xcons2ztappf_3appg_2zfold4f_3g_2xcons2ztappappf_3appg_2zfold4f_3g_2xtsum1lfold4add0id000lreverse0append0reverse0uncurry2fold2swap1append0listify0nil0length0uncurry2fold2add0cons11000uncurry3fold2cons0id0nil0x10id1x10appapply1x11x12apply2x11x12appid0x14id1x14appuncurry2x16x17x18uncurry3x16x17x18appuncurry1x16x17uncurry2x16x17appswap2x20x21x22swap3x20x21x22appcompose2x24x25x26compose3x24x25x26appconst1x28x29const2x28x29applistify0x31listify1x31appfold3x37x38x39x40fold4x37x38x39x40appsum0x42sum1x42truesum1lfold4add0id000lfold4f_3g_2xcons2ztappappf_3appg_2zfold4f_3g_2xtappsum0x42sum1x42appfold3x37x38x39x40fold4x37x38x39x40fold4f_3g_2xcons2ztappf_3appg_2zappcompose2x24x25x26compose3x24x25x26compose3g_1f_1xappg_1appf_1xappswap2x20x21x22swap3x20x21x22swap3f_2yxappappf_2xyappuncurry2x16x17x18uncurry3x16x17x18uncurry3f_2xyappappf_2xyappapply1x11x12apply2x11x12apply2f_1xappf_1xuncurry3f_2xyappf_2xswap3f_2yxappf_2xcompose3g_1f_1xappf_1xfold4f_3g_2xcons2ztappg_2zfold4f_3g_2xcons2ztfold4f_3g_2xttrueappid0x14id1x14falseuncurry3fold2cons0id0nil0x10id1x10falseappuncurry1x16x17uncurry2x16x17falseappconst1x28x29const2x28x29falseapplistify0x31listify1x31falsereverse0uncurry2fold2swap1append0listify0nil0falsereverse0append0falselength0uncurry2fold2add0cons11000false