appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappminusx0xappappminusappsxappsyappappminusxyappappdiv0appsy0appappdivappsxappsyappsappappdivappappminusxyappsy2.0appdiv0div0div1div2s0s0s10000minus0minus0minus1minus2cons0cons0cons1cons2nil0nil0map0map0map1map2appmap1x4x5map2x4x5appmap0x4map1x4appcons1x8x9cons2x8x9appcons0x8cons1x8appminus1x11x12minus2x11x12appminus0x11minus1x11apps0x15s1x15appdiv1x17x18div2x17x18appdiv0x17div1x17map2fnil0nil0map2fcons2xxscons2appfxmap2fxsminus2x00xminus2s1xs1yminus2xydiv200s1y00div2s1xs1ys1div2minus2xys1yappmap1x4x5map2x4x5appmap0x4map1x4appcons1x8x9cons2x8x9appcons0x8cons1x8appminus1x11x12minus2x11x12appminus0x11minus1x11apps0x15s1x15appdiv1x17x18div2x17x18appdiv0x17div1x17map2fcons2xxsmap2fxsmap2fcons2xxsappfxminus2s1xs1yminus2xydiv2s1xs1yminus2xydiv2s1xs1ydiv2minus2xys1yappmap1x4x5map2x4x5appminus1x11x12minus2x11x12appdiv1x17x18div2x17x18trueappmap1x4x5map2x4x5map2fcons2xxsmap2fxsmap2fcons2xxsappfxtruemap222app22appmap1x4x5map2x4x5appmap1x4x5map2x4x5falseappminus1x11x12minus2x11x12falseappdiv1x17x18div2x17x18falsediv2s1xs1ydiv2minus2xys1ytrue1div22312-16s1111-30008minus22012-11minus2x00xminus2s1xs1yminus2xydiv2s1xs1yminus2xyfalseminus2s1xs1yminus2xytrueminus222