appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappsumappappconsxxsappappplusxappsumxsappsizeappappnodexxsappsappsumappappmapsizexsappappplus0x0appappplusappsxyappsappappplusxy2.0app0000s0s0s1node0node0node1node2size0size0size1plus0plus0plus1plus2sum0sum0sum1cons0cons0cons1cons2nil0nil0map0map0map1map2appmap1x4x5map2x4x5appmap0x4map1x4appcons1x8x9cons2x8x9appcons0x8cons1x8appsum0x11sum1x11appplus1x13x14plus2x13x14appplus0x13plus1x13appsize0x16size1x16appnode1x18x19node2x18x19appnode0x18node1x18apps0x21s1x21map2fnil0nil0map2fcons2xxscons2appfxmap2fxssum1cons2xxsplus2xsum1xssize1node2xxss1sum1map2size0xsplus200x00plus2s1xys1plus2xyappmap1x4x5map2x4x5appmap0x4map1x4appcons1x8x9cons2x8x9appcons0x8cons1x8appsum0x11sum1x11appplus1x13x14plus2x13x14appplus0x13plus1x13appsize0x16size1x16appnode1x18x19node2x18x19appnode0x18node1x18apps0x21s1x21map2fcons2xxsmap2fxsmap2fcons2xxsappfxsum1cons2xxssum1xssum1cons2xxsplus2xsum1xssize1node2xxsmap2size0xssize1node2xxssum1map2size0xsplus2s1xyplus2xyappmap1x4x5map2x4x5appsum0x11sum1x11appplus1x13x14plus2x13x14appsize0x16size1x16truesize1node2xxsmap2size0xsmap2fcons2xxsappfxappsize0x16size1x16appmap1x4x5map2x4x5map2fcons2xxsmap2fxstruemap222app22size111appsize0x16size1x16appmap1x4x5map2x4x5appsize0x16size1x16falseappmap1x4x5map2x4x5falseappsum0x11sum1x11falseappplus1x13x14plus2x13x14falsesize1node2xxssum1map2size0xsfalsesum1cons2xxssum1xstruesum111sum1cons2xxsplus2xsum1xsfalseplus2s1xyplus2xytrueplus221