appappplus0yyappappplusappsxyappsappappplusxyappapptimes0y0appapptimesappsxyappappplusappapptimesxyyappappappcurrygxyappappgxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsincappmapappappcurryplusapps0doubleappmapappappcurrytimesappsapps02.0appappplusappsxyappplusxappappplusappsxyappappplusxyappappplusappsxyappsappappplusxyappapptimesappsxyapptimesxappapptimesappsxyappapptimesxyappapptimesappsxyappplusappapptimesxyappapptimesappsxyappappplusappapptimesxyyappappappcurrygxyappgxappappappcurrygxyappappgxyappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappappconsappfxappappmapfxsincapps0incappcurryplusincappappcurryplusapps0incappmapappappcurryplusapps0doubleapps0doubleappsapps0doubleappcurrytimesdoubleappappcurrytimesappsapps0doubleappmapappappcurrytimesappsapps0trueappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappappappcurrygxyappappgxyappappappcurrygxyappgxtrueappapp2app0double0double0inc0inc0cons0cons0cons1cons2nil0nil0map0map0map1map2curry0curry0curry1curry2curry3times0times0times1times2s0s0s10000plus0plus0plus1plus2appplus1x145x146plus2x145x146appplus0x145plus1x145apps0x149s1x149apptimes1x151x152times2x151x152apptimes0x151times1x151appcurry2x154x155x156curry3x154x155x156appcurry1x154x155curry2x154x155appcurry0x154curry1x154appmap1x158x159map2x158x159appmap0x158map1x158appcons1x162x163cons2x162x163appcons0x162cons1x162app0map1fcons2xxsapp0map1fxsapp0map1fcons2xxsapp0fxapp0curry2gxyapp0appgxyapp0curry2gxyapp0gxplus200yyplus2s1xys1plus2xytimes200y00times2s1xyplus2times2xyycurry3gxyappappgxymap2fnil0nil0map2fcons2xxscons2appfxmap2fxsinc0map1curry2plus0s100double0map1curry2times0s1s100appplus1x145x146plus2x145x146appplus0x145plus1x145apps0x149s1x149apptimes1x151x152times2x151x152apptimes0x151times1x151appcurry2x154x155x156curry3x154x155x156appcurry1x154x155curry2x154x155appcurry0x154curry1x154appmap1x158x159map2x158x159appmap0x158map1x158appcons1x162x163cons2x162x163appcons0x162cons1x1621641app0211021cons2201120cons11010cons000nil000map2211120map11110map000curry331112131curry2211121curry11111curry001times2201120times11010times000s11110s0000000plus2201120plus11010plus000app211120app0map1fcons2xxsapp0map1fxsapp0map1fcons2xxsapp0fxappplus1x145x146plus2x145x146appplus0x145plus1x145apps0x149s1x149apptimes1x151x152times2x151x152apptimes0x151times1x151appcurry2x154x155x156curry3x154x155x156appcurry1x154x155curry2x154x155appcurry0x154curry1x154appmap1x158x159map2x158x159appmap0x158map1x158appcons1x162x163cons2x162x163appcons0x162cons1x162plus200yyplus2s1xys1plus2xytimes200y00times2s1xyplus2times2xyycurry3gxyappappgxymap2fnil0nil0map2fcons2xxscons2appfxmap2fxs1641app0211020cons2201020map11111app0map1fcons2xxsapp0map1fxs1641app0201120cons2201121map11010appapptimesappsxyappapptimesxytrue1641app211021times01s01app211121appapptimesappsxyapptimesxfalseappapptimesappsxyappplusappapptimesxyfalseappapptimesappsxyappappplusappapptimesxyyfalseappappplusappsxyappappplusxytrue1641app211021s01app211121plus01appappplusappsxyappplusxfalseappappplusappsxyappsappappplusxyfalseappappmapfappappconsxxsappappconsappfxappappmapfxsfalseappappmapfappappconsxxsappconsappfxfalseincappappcurryplusapps0falseincapps0falseincappcurryplusfalseincappmapappappcurryplusapps0falsedoubleappappcurrytimesappsapps0falsedoubleapps0falsedoubleappsapps0falsedoubleappcurrytimesfalsedoubleappmapappappcurrytimesappsapps0false