appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappminusx0xappappminusappsxappsyappappminusapppappsxapppappsyapppappsxxappappdiv0appsy0appappdivappsxappsyappsappappdivappappminusxappidyappsyappidxxappidxappsappsappsxappidapppxappidappsappidx2.0appid0id0id1div0div0div1div2p0p0p1s0s0s10000minus0minus0minus1minus2cons0cons0cons1cons2nil0nil0map0map0map1map2appmap1x4x5map2x4x5appmap0x4map1x4appcons1x8x9cons2x8x9appcons0x8cons1x8appminus1x11x12minus2x11x12appminus0x11minus1x11apps0x15s1x15appp0x17p1x17appdiv1x19x20div2x19x20appdiv0x19div1x19appid0x22id1x22map2fnil0nil0map2fcons2xxscons2appfxmap2fxsminus2x00xminus2s1xs1yminus2p1s1xp1s1yp1s1xxdiv200s1y00div2s1xs1ys1div2minus2xid1ys1yid1xxid1xs1s1s1xid1p1xid1s1id1xappmap1x4x5map2x4x5appmap0x4map1x4appcons1x8x9cons2x8x9appcons0x8cons1x8appminus1x11x12minus2x11x12appminus0x11minus1x11apps0x15s1x15appp0x17p1x17appdiv1x19x20div2x19x20appdiv0x19div1x19appid0x22id1x22map2fcons2xxsmap2fxsmap2fcons2xxsappfxminus2s1xs1yp1s1yminus2s1xs1yp1s1xminus2s1xs1yminus2p1s1xp1s1ydiv2s1xs1yid1ydiv2s1xs1yminus2xid1ydiv2s1xs1ydiv2minus2xid1ys1yid1p1xid1xid1p1xid1s1id1xappmap1x4x5map2x4x5appminus1x11x12minus2x11x12appp0x17p1x17appdiv1x19x20div2x19x20appid0x22id1x22trueappmap1x4x5map2x4x5map2fcons2xxsmap2fxsmap2fcons2xxsappfxtruemap222app22appmap1x4x5map2x4x5appmap1x4x5map2x4x5falseappminus1x11x12minus2x11x12falseappp0x17p1x17falseappdiv1x19x20div2x19x20falseappid0x22id1x22falsediv2s1xs1ydiv2minus2xid1ys1ytruediv220id110p110s1110000minus220minus221000s111p111id111div221minus2x00xminus2s1xs1yminus2p1s1xp1s1yp1s1xxdiv2s1xs1yminus2xid1yfalseminus2s1xs1yminus2p1s1xp1s1ytrue1minus22102p11-110s11117p1s1xxminus2s1xs1yp1s1xfalseminus2s1xs1yp1s1yfalsediv2s1xs1yid1yfalseid1p1xid1s1id1xid1p1xid1xtrueid1p1xid1xtrueid111id1p1xid1s1id1xfalse