appappplus0yyappappplusappsxyappsappappplusxyappapptimes0y0appapptimesappsxyappappplusappapptimesxyyappincxsappappmapappplusapps0xsappdoublexsappappmapapptimesappsapps0xsappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxs2.0appcons0cons0cons1cons2nil0nil0double0double0double1map0map0map1map2inc0inc0inc1times0times0times1times2s0s0s10000plus0plus0plus1plus2appplus1x4x5plus2x4x5appplus0x4plus1x4apps0x8s1x8apptimes1x10x11times2x10x11apptimes0x10times1x10appinc0x13inc1x13appmap1x15x16map2x15x16appmap0x15map1x15appdouble0x18double1x18appcons1x21x22cons2x21x22appcons0x21cons1x21plus200yyplus2s1xys1plus2xytimes200y00times2s1xyplus2times2xyyinc1xsmap2plus1s100xsdouble1xsmap2times1s1s100xsmap2fnil0nil0map2fcons2xxscons2appfxmap2fxsappplus1x4x5plus2x4x5appplus0x4plus1x4apps0x8s1x8apptimes1x10x11times2x10x11apptimes0x10times1x10appinc0x13inc1x13appmap1x15x16map2x15x16appmap0x15map1x15appdouble0x18double1x18appcons1x21x22cons2x21x22appcons0x21cons1x21plus2s1xyplus2xytimes2s1xytimes2xytimes2s1xyplus2times2xyyinc1xsmap2plus1s100xsdouble1xsmap2times1s1s100xsmap2fcons2xxsmap2fxsmap2fcons2xxsappfxappplus1x4x5plus2x4x5apptimes1x10x11times2x10x11appinc0x13inc1x13appmap1x15x16map2x15x16appdouble0x18double1x18trueappdouble0x18double1x18double1xsmap2times1s1s100xsmap2fcons2xxsappfxappmap1x15x16map2x15x16map2fcons2xxsmap2fxsappinc0x13inc1x13inc1xsmap2plus1s100xstrue1641app211021double11011map2211021inc11011cons2201020double001map11111inc001times11010s110100000plus11010double1xsmap2times1s1s100xsmap2fcons2xxsappfxmap2fcons2xxsmap2fxsinc1xsmap2plus1s100xsinc1xsmap2plus1s100xsfalsedouble1xsmap2times1s1s100xsfalsemap2fcons2xxsmap2fxstrue1641map2201120cons2201121map2fcons2xxsappfxfalseappplus1x4x5plus2x4x5falseapptimes1x10x11times2x10x11falsetimes2s1xytimes2xytrue1641times2211020s11111times2s1xyplus2times2xyyfalseplus2s1xyplus2xytrue1641plus2211020s11111