appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyappappmaxlistxappappconsyysappappifappapplexyappappmaxlistyysappappmaxlistxnilxappheightappappnodexxsappsappappmaxlist0appappmapheightxsappappmapfappappconsxxsappappconsappfxappappmapfxsappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappfxappappmapfappappconsxxsappappmapfxsappappleappsxappsyappapplexyappappleappsxappsyapplexappappmaxlistxappappconsyysappappifappapplexyappappmaxlistyysappappmaxlistxappappconsyysappifappapplexyappappmaxlistxappappconsyysappapplexyappappmaxlistxappappconsyysapplexappappmaxlistxappappconsyysappappmaxlistyysappappmaxlistxappappconsyysappmaxlistyappheightappappnodexxsappsappappmaxlist0appappmapheightxsappheightappappnodexxsappappmaxlist0appappmapheightxsappheightappappnodexxsappmaxlist0appheightappappnodexxsappappmapheightxsappheightappappnodexxsappmapheighttrueappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappheightappappnodexxsappappmapheightxstrue12345678910111213141app212app21112map00cons01height00node01appappmapfappappconsxxsappappconsappfxappappmapfxsfalse123678910appappmapfappappconsxxsappconsappfxfalse1256789appheightappappnodexxsappappmaxlist0appappmapheightxsfalse14appappmaxlistxappappconsyysappappmaxlistyystrue31app21112app211112maxlist00cons00appappmaxlistxappappconsyysappapplexyfalseappappleappsxappsyappapplexytrue1app212app21112le00s01appappleappsxappsyapplexfalseappappmaxlistxappappconsyysappappifappapplexyappappmaxlistyysfalseappappmaxlistxappappconsyysappifappapplexyfalseappappmaxlistxappappconsyysapplexfalseappappmaxlistxappappconsyysappmaxlistyfalseappheightappappnodexxsappsappappmaxlist0appappmapheightxsfalseappheightappappnodexxsappmaxlist0falseappheightappappnodexxsappmapheightfalse