appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyappappmaxlistxappappconsyysappappifappapplexyappappmaxlistyysappappmaxlistxnilxappheightappappnodexxsappsappappmaxlist0appappmapheightxs2.0appnode0node0node1node2height0height0height1if0if0if1if2maxlist0maxlist0maxlist1maxlist2false0false0s0s0s1true0true00000le0le0le1le2cons0cons0cons1cons2nil0nil0map0map0map1map2appmap1x5x6map2x5x6appmap0x5map1x5appcons1x9x10cons2x9x10appcons0x9cons1x9apple1x12x13le2x12x13apple0x12le1x12apps0x17s1x17appmaxlist1x20x21maxlist2x20x21appmaxlist0x20maxlist1x20appif1x23x24if2x23x24appif0x23if1x23appheight0x26height1x26appnode1x28x29node2x28x29appnode0x28node1x28map2fnil0nil0map2fcons2xxscons2appfxmap2fxsle200ytrue0le2s1x00false0le2s1xs1yle2xymaxlist2xcons2yysif2le2xymaxlist2yysmaxlist2xnil0xheight1node2xxss1maxlist200map2height0xsappmap1x5x6map2x5x6appmap0x5map1x5appcons1x9x10cons2x9x10appcons0x9cons1x9apple1x12x13le2x12x13apple0x12le1x12apps0x17s1x17appmaxlist1x20x21maxlist2x20x21appmaxlist0x20maxlist1x20appif1x23x24if2x23x24appif0x23if1x23appheight0x26height1x26appnode1x28x29node2x28x29appnode0x28node1x28map2fcons2xxsmap2fxsmap2fcons2xxsappfxle2s1xs1yle2xymaxlist2xcons2yysmaxlist2yysmaxlist2xcons2yysle2xyheight1node2xxsmap2height0xsheight1node2xxsmaxlist200map2height0xsappmap1x5x6map2x5x6apple1x12x13le2x12x13appmaxlist1x20x21maxlist2x20x21appheight0x26height1x26trueheight1node2xxsmap2height0xsmap2fcons2xxsappfxappheight0x26height1x26appmap1x5x6map2x5x6map2fcons2xxsmap2fxstrue211641height11001010000app210001001020000map2210001001021000node2200001000120100height000000cons2200011000120100map11100011000height1node2xxsmap2height0xsappheight0x26height1x26appmap1x5x6map2x5x6appmap1x5x6map2x5x6falseappheight0x26height1x26falseheight1node2xxsmap2height0xsfalseapple1x12x13le2x12x13falseappmaxlist1x20x21maxlist2x20x21falseheight1node2xxsmaxlist200map2height0xsfalsemaxlist2xcons2yysmaxlist2yystrue211641maxlist2200001001020000cons2200001000120100maxlist2xcons2yysle2xyfalsele2s1xs1yle2xytrue211641le2200001101020000s11111110100