appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappminusx0xappappminusappsxappsyappappminusxyappappdiv0appsy0appappdivappsxappsyappsappappdivappappminusxyappsy2.0appappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappappconsappfxappappmapfxsappappminusappsxappsyappminusxappappminusappsxappsyappappminusxyappappdivappsxappsyappminusxappappdivappsxappsyappappminusxyappappdivappsxappsyappdivappappminusxyappappdivappsxappsyappappdivappappminusxyappsyappappdivappsxappsyappsappappdivappappminusxyappsytrueappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxtrueapp22appappmapfappappconsxxsappappconsappfxappappmapfxsfalseappappmapfappappconsxxsappconsappfxfalseappappdivappsxappsyappappdivappappminusxyappsytrueappapp2app0div0div0div1div2s0s0s10000minus0minus0minus1minus2cons0cons0cons1cons2nil0nil0map0map0map1map2appmap1x76x77map2x76x77appmap0x76map1x76appcons1x80x81cons2x80x81appcons0x80cons1x80appminus1x83x84minus2x83x84appminus0x83minus1x83apps0x87s1x87appdiv1x89x90div2x89x90appdiv0x89div1x89app0div1s1xs1yapp0div1minus2xys1ymap2fnil0nil0map2fcons2xxscons2appfxmap2fxsminus2x00xminus2s1xs1yminus2xydiv200s1y00div2s1xs1ys1div2minus2xys1yappmap1x76x77map2x76x77appmap0x76map1x76appcons1x80x81cons2x80x81appcons0x80cons1x80appminus1x83x84minus2x83x84appminus0x83minus1x83apps0x87s1x87appdiv1x89x90div2x89x90appdiv0x89div1x892app0div22div20div11div10div1_app{0,#}_1div00div00s11s10s00s00000000minus22minus20minus11minus10minus00minus00cons22cons20cons11cons10cons00cons00nil00nil00map22map20map11map10map00map00app2app0div1_app{0,#}_1s10xs10ydiv1_app{0,#}_1minus20xys10ymap20fnil00nil00map20fcons20xxscons20app0fxmap20fxsminus20x000xminus20s10xs10yminus20xydiv20000s10y000div20s10xs10ys10div20minus20xys10yapp0map10x76x77map20x76x77app0map00x76map10x76app0cons10x80x81cons20x80x81app0cons00x80cons10x80app0minus10x83x84minus20x83x84app0minus00x83minus10x83app0s00x87s10x87app0div10x89x90div20x89x90app0div00x89div10x89app0div202div200div1_app{0,#}_12div1_app{0,#}_10div101div100div101div000div000div001s101s100s000s000s00100000000minus202minus200minus101minus100minus101minus000minus000minus001cons202cons200cons101cons100cons101cons000cons000cons001nil000nil000map202map200map101map100map101map000map000map001app0map100x119x120map101x119x120app0map000x122map001x122app0cons100x124x125cons101x124x125app0cons000x127cons001x127app0minus100x129x130minus101x129x130app0minus000x132minus001x132app0s000x134s001x134app0div100x136x137div101x136x137app0div000x139div001x139div1_app{0,#}_10s100xs100ydiv1_app{0,#}_10minus200xys100ymap200fnil000nil000map200fcons200xxscons200app0fxmap200fxsminus200x0000xminus200s100xs100yminus200xydiv2000000s100y0000div200s100xs100ys100div200minus200xys100ymap101x76x77map200x76x77map001x76map100x76cons101x80x81cons200x80x81cons001x80cons100x80minus101x83x84minus200x83x84minus001x83minus100x83s001x87s100x87div101x89x90div200x89x90div001x89div100x89app0map100x119x120map101x119x120app0map000x122map001x122app0cons100x124x125cons101x124x125app0cons000x127cons001x127app0minus100x129x130minus101x129x130app0minus000x132minus001x132app0s000x134s001x134app0div100x136x137div101x136x137app0div000x139div001x1392div1_app{0,#}_10div2002div2000div1012div1010div1001div1000div0011div0010div0000div0000s1001s1000s{1,0,0}_div1_app{0,#}_1{0,#}_1s0011s0010s0000s00000000000000minus2002minus2000minus{2,0,0}_div1_app{0,#}_1{0,#}_1minus1012minus1010minus1001minus1000minus0011minus0010minus0000minus0000cons2002cons2000cons1012cons1010cons1001cons1000cons0011cons0010cons0000cons0000nil0000nil0000map2002map2000map1012map1010map1001map1000map0011map0010map0000map0000app02app00div1_app{0,#}_10s100x150x151s{1,0,0}_div1_app{0,#}_1{0,#}_1x150x151div1_app{0,#}_10minus200x147x148x149minus{2,0,0}_div1_app{0,#}_1{0,#}_1x147x148x149div1_app{0,#}_10minus200x0000x152div1_app{0,#}_10xx152div1_app{0,#}_10minus200s100xs100yx153div1_app{0,#}_10minus200xyx153div1_app{0,#}_10s1000x150x151s{1,0,0}_div1_app{0,#}_1{0,#}_1x150x151div1_app{0,#}_10minus2000x147x148x149minus{2,0,0}_div1_app{0,#}_1{0,#}_1x147x148x149minus{2,0,0}_div1_app{0,#}_1{0,#}_1x00000x152div1_app{0,#}_10xx152minus{2,0,0}_div1_app{0,#}_1{0,#}_1s1000xs1000yx153minus{2,0,0}_div1_app{0,#}_1{0,#}_1xyx153s{1,0,0}_div1_app{0,#}_1{0,#}_1xs1000yminus{2,0,0}_div1_app{0,#}_1{0,#}_1xys1000ymap2000fnil0000nil0000map2000fcons2000xxscons2000app00fxmap2000fxsminus2000x00000xminus2000s1000xs1000yminus2000xydiv200000000s1000y00000div2000s1000xs1000ys1000div2000minus2000xys1000ymap1010x76x77map2000x76x77map0010x76map1000x76cons1010x80x81cons2000x80x81cons0010x80cons1000x80minus1010x83x84minus2000x83x84minus0010x83minus1000x83s0010x87s1000x87div1010x89x90div2000x89x90div0010x89div1000x89app00map1000x119x120map1010x119x120app00map0000x122map0010x122app00cons1000x124x125cons1010x124x125app00cons0000x127cons0010x127app00minus1000x129x130minus1010x129x130app00minus0000x132minus0010x132app00s0000x134s0010x134app00div1000x136x137div1010x136x137app00div0000x139div0010x139div1_app{0,#}_1021minus{2,0,0}_div1_app{0,#}_1{0,#}_131s{1,0,0}_div1_app{0,#}_1{0,#}_121minus{2,0,0}_div1_app{0,#}_1{0,#}_1x00000x152div1_app{0,#}_10xx152s{1,0,0}_div1_app{0,#}_1{0,#}_1xs1000yminus{2,0,0}_div1_app{0,#}_1{0,#}_1xys1000ys{1,0,0}_div1_app{0,#}_1{0,#}_1xs1000yminus{2,0,0}_div1_app{0,#}_1{0,#}_1xys1000yfalseminus{2,0,0}_div1_app{0,#}_1{0,#}_1x00000x152div1_app{0,#}_10xx152falseappappdivappsxappsyappappminusxyfalseappappminusappsxappsyappappminusxytrueapp22appappminusappsxappsyappminusxfalseappappdivappsxappsyappminusxfalseappappdivappsxappsyappsappappdivappappminusxyappsyfalseappappdivappsxappsyappdivappappminusxyfalse