appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappminusx0xappappminusappsxappsyappappminusxyappappdiv0appsy0appappdivappsxappsyappsappappdivappappminusxyappsy2.0appappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappappconsappfxappappmapfxsappappminusappsxappsyappminusxappappminusappsxappsyappappminusxyappappdivappsxappsyappminusxappappdivappsxappsyappappminusxyappappdivappsxappsyappdivappappminusxyappappdivappsxappsyappappdivappappminusxyappsyappappdivappsxappsyappsappappdivappappminusxyappsytrueappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxtrue211641app210001000020000cons00000app210101100020100map01100appappmapfappappconsxxsappappmapfxs211641app200001001021000cons00000app210001000121100map00000appappmapfappappconsxxsappappconsappfxappappmapfxsfalseappappmapfappappconsxxsappconsappfxfalseappappdivappsxappsyappappdivappappminusxyappsytrueappapp2app0div0div0div1div2s0s0s10000minus0minus0minus1minus2cons0cons0cons1cons2nil0nil0map0map0map1map2appmap1x101x102map2x101x102appmap0x101map1x101appcons1x105x106cons2x105x106appcons0x105cons1x105appminus1x108x109minus2x108x109appminus0x108minus1x108apps0x112s1x112appdiv1x114x115div2x114x115appdiv0x114div1x114app0div1s1xs1yapp0div1minus2xys1ymap2fnil0nil0map2fcons2xxscons2appfxmap2fxsminus2x00xminus2s1xs1yminus2xydiv200s1y00div2s1xs1ys1div2minus2xys1yappmap1x101x102map2x101x102appmap0x101map1x101appcons1x105x106cons2x105x106appcons0x105cons1x105appminus1x108x109minus2x108x109appminus0x108minus1x108apps0x112s1x112appdiv1x114x115div2x114x115appdiv0x114div1x1142app0div22div20div11div10div1_app{0,#}_1div00div00s11s10s00s00000000minus22minus20minus11minus10minus00minus00cons22cons20cons11cons10cons00cons00nil00nil00map22map20map11map10map00map00app2app0div1_app{0,#}_1s10xs10ydiv1_app{0,#}_1minus20xys10ymap20fnil00nil00map20fcons20xxscons20app0fxmap20fxsminus20x000xminus20s10xs10yminus20xydiv20000s10y000div20s10xs10ys10div20minus20xys10yapp0map10x101x102map20x101x102app0map00x101map10x101app0cons10x105x106cons20x105x106app0cons00x105cons10x105app0minus10x108x109minus20x108x109app0minus00x108minus10x108app0s00x112s10x112app0div10x114x115div20x114x115app0div00x114div10x114211641div1_app{0,#}_1210001000020000s10110111100000000000minus20210111000020000minus20x000xminus20s10xs10yminus20xyappappdivappsxappsyappappminusxyfalseappappminusappsxappsyappappminusxytrue211641app200101000020000s00100minus01000app201101110020100appappminusappsxappsyappminusxfalseappappdivappsxappsyappminusxfalseappappdivappsxappsyappsappappdivappappminusxyappsyfalseappappdivappsxappsyappdivappappminusxyfalse