appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyappappmaxlistxappappconsyysappappifappapplexyappappmaxlistyysappappmaxlistxnilxappheightappappnodexxsappsappappmaxlist0appappmapheightxs2.1appappmapfappappconsxxsappappconsappfxappappmapfxsappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappfxappappmapfappappconsxxsappappmapfxsappappleappsxappsyappapplexyappappleappsxappsyapplexappappmaxlistxappappconsyysappappifappapplexyappappmaxlistyysappappmaxlistxappappconsyysappifappapplexyappappmaxlistxappappconsyysappapplexyappappmaxlistxappappconsyysapplexappappmaxlistxappappconsyysappappmaxlistyysappappmaxlistxappappconsyysappmaxlistyappheightappappnodexxsappsappappmaxlist0appappmapheightxsappheightappappnodexxsappappmaxlist0appappmapheightxsappheightappappnodexxsappmaxlist0appheightappappnodexxsappappmapheightxsappheightappappnodexxsappmapheighttrueappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappheightappappnodexxsappappmapheightxstrue1234567891011121314app21322app21app20map00cons02height03node03app22app212map0cons0height0node0appappmapfappappconsxxsappappmapfxsapp223app21map00cons02app21app212map0cons0appappmapfappappconsxxsappappconsappfxappappmapfxsfalse123678910appappmapfappappconsxxsappconsappfxfalse1256789appheightappappnodexxsappappmaxlist0appappmapheightxsfalse14appappmaxlistxappappconsyysappappmaxlistyystrue3app223app21maxlist00cons00app21app212maxlist0cons0appappmaxlistxappappconsyysappapplexyfalseappappleappsxappsyappapplexytrueapp212app20app21le01s01app2app221le0s0appappleappsxappsyapplexfalseappappmaxlistxappappconsyysappappifappapplexyappappmaxlistyysfalseappappmaxlistxappappconsyysappifappapplexyfalseappappmaxlistxappappconsyysapplexfalseappappmaxlistxappappconsyysappmaxlistyfalseappheightappappnodexxsappsappappmaxlist0appappmapheightxsfalseappheightappappnodexxsappmaxlist0falseappheightappappnodexxsappmapheightfalse
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe