appappplus0yyappappplusappsxyappsappappplusxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappappcurrygxyappappgxyincappmapappappcurryplusapps02.0appinc0inc0curry0curry0curry1curry2cons0cons0cons1cons2nil0nil0map0map0map1s0s0s10000plus0plus0apps0x7s1x7appmap0x9map1x9appcons1x12x13cons2x12x13appcons0x12cons1x12appcurry1x15x16curry2x15x16appcurry0x15curry1x15appappplus000yyappappplus0s1xys1appappplus0xyappmap1fnil0nil0appmap1fcons2xxscons2appfxappmap1fxsappcurry2gxyappappgxyinc0map1curry2plus0s100apps0x7s1x7appmap0x9map1x9appcons1x12x13cons2x12x13appcons0x12cons1x12appcurry1x15x16curry2x15x16appcurry0x15curry1x15appappplus0s1xyappplus0xappappplus0s1xyappappplus0xyappmap1fcons2xxsappmap1fxsappmap1fcons2xxsappfxappcurry2gxyappgxappcurry2gxyappappgxytrueappcurry2gxyappappgxyappcurry2gxyappgxappmap1fcons2xxsappfxappmap1fcons2xxsappmap1fxstrue1app211020curry2211023curry11012curry006cons220102cons1101cons006nil001map1101map003s1112s0050003plus000app211021appcurry2gxyappappgxyappmap1fcons2xxsappfxappmap1fcons2xxsappmap1fxsappappplus000yyappappplus0s1xys1appappplus0xyappmap1fnil0nil0appmap1fcons2xxscons2appfxappmap1fxsappcurry2gxyappappgxyapps0x7s1x7appmap0x9map1x9appcons1x12x13cons2x12x13appcons0x12cons1x12appcurry1x15x16curry2x15x16appcurry0x15curry1x15app22appcurry2gxyappappgxy1641app211024curry2241221curry11112curry007cons2201120cons11010cons000nil001map11213map005s11112s0040000plus000app241220appappplus000yyappappplus0s1xys1appappplus0xyappmap1fnil0nil0appmap1fcons2xxscons2appfxappmap1fxsappcurry2gxyappappgxyapps0x7s1x7appmap0x9map1x9appcons1x12x13cons2x12x13appcons0x12cons1x12appcurry1x15x16curry2x15x16appcurry0x15curry1x15appappplus0s1xyappappplus0xytrueapp20s110plus000app20app22plus00s111app21appappplus0s1xyappplus0xfalse