appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappsumappappconsxxsappappplusxappsumxsappsizeappappnodexxsappsappsumappappmapsizexsappappplus0x0appappplusappsxyappsappappplusxy2.0appappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappappconsappfxappappmapfxsappsumappappconsxxsappsumxsappsumappappconsxxsappplusxappsumappappconsxxsappappplusxappsumxsappsizeappappnodexxsappmapsizeappsizeappappnodexxsappappmapsizexsappsizeappappnodexxsappsumappappmapsizexsappsizeappappnodexxsappsappsumappappmapsizexsappappplusappsxyappplusxappappplusappsxyappappplusxyappappplusappsxyappsappappplusxytrueappsizeappappnodexxsappappmapsizexsappappmapfappappconsxxsappfxappappmapfappappconsxxsappappmapfxstrueapp22appsizeappappnodexxsappmapsizefalseappappmapfappappconsxxsappconsappfxfalseappappmapfappappconsxxsappappconsappfxappappmapfxsfalseappsizeappappnodexxsappsumappappmapsizexsfalseappsumappappconsxxsappsumxstrueapp22appsumappappconsxxsappplusxfalseappsumappappconsxxsappappplusxappsumxsfalseappappplusappsxyappappplusxytrueappapp2app00000s0s0s1node0node0node1node2size0size0size1plus0plus0plus1plus2sum0sum0sum1cons0cons0cons1cons2nil0nil0map0map0map1map2appmap1x106x107map2x106x107appmap0x106map1x106appcons1x110x111cons2x110x111appcons0x110cons1x110appsum0x113sum1x113appplus1x115x116plus2x115x116appplus0x115plus1x115appsize0x118size1x118appnode1x120x121node2x120x121appnode0x120node1x120apps0x123s1x123app0plus1s1xyapp0plus1xymap2fnil0nil0map2fcons2xxscons2appfxmap2fxssum1cons2xxsplus2xsum1xssize1node2xxss1sum1map2size0xsplus200x00plus2s1xys1plus2xyappmap1x106x107map2x106x107appmap0x106map1x106appcons1x110x111cons2x110x111appcons0x110cons1x110appsum0x113sum1x113appplus1x115x116plus2x115x116appplus0x115plus1x115appsize0x118size1x118appnode1x120x121node2x120x121appnode0x120node1x120apps0x123s1x1232app0000000s11s10s00s00node22node20node11node10node00node00size11size10size00size00plus22plus20plus11plus10plus1_app{0,#}_1plus00plus00sum11sum10sum00sum00cons22cons20cons11cons10cons00cons00nil00nil00map22map20map11map10map00map00app2app0plus1_app{0,#}_1s10xyplus1_app{0,#}_1xymap20fnil00nil00map20fcons20xxscons20app0fxmap20fxssum10cons20xxsplus20xsum10xssize10node20xxss10sum10map20size00xsplus20000x000plus20s10xys10plus20xyapp0map10x106x107map20x106x107app0map00x106map10x106app0cons10x110x111cons20x110x111app0cons00x110cons10x110app0sum00x113sum10x113app0plus10x115x116plus20x115x116app0plus00x115plus10x115app0size00x118size10x118app0node10x120x121node20x120x121app0node00x120node10x120app0s00x123s10x123plus1_app{0,#}_121appappplusappsxyappplusxfalseappappplusappsxyappsappappplusxyfalseappsizeappappnodexxsappsappsumappappmapsizexsfalse