appappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappflattenappappnodexxsappappconsxappconcatappappmapflattenxsappconcatnilnilappconcatappappconsxxsappappappendxappconcatxsappappappendnilxsxsappappappendappappconsxxsysappappconsxappappappendxsys2.0appappmapfappappconsxxsappappconsappfxappappmapfxsappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappfxappappmapfappappconsxxsappappmapfxsappflattenappappnodexxsappappconsxappconcatappappmapflattenxsappflattenappappnodexxsappconsxappflattenappappnodexxsappconcatappappmapflattenxsappflattenappappnodexxsappappmapflattenxsappflattenappappnodexxsappmapflattenappconcatappappconsxxsappappappendxappconcatxsappconcatappappconsxxsappappendxappconcatappappconsxxsappconcatxsappappappendappappconsxxsysappappconsxappappappendxsysappappappendappappconsxxsysappappappendxsysappappappendappappconsxxsysappappendxstrueappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappflattenappappnodexxsappappmapflattenxstrue1234567891011121app212app21112map00cons01flatten00node01appappmapfappappconsxxsappappconsappfxappappmapfxsfalse12391011appappmapfappappconsxxsappconsappfxfalse128910appflattenappappnodexxsappappconsxappconcatappappmapflattenxsfalse189appflattenappappnodexxsappconsxfalse78appflattenappappnodexxsappconcatappappmapflattenxsfalseappflattenappappnodexxsappmapflattenfalseappconcatappappconsxxsappconcatxstrue1app212concat00app211112cons00appconcatappappconsxxsappappappendxappconcatxsfalseappconcatappappconsxxsappappendxfalseappappappendappappconsxxsysappappappendxsystrue1app2-22122app2-22122append00cons02appappappendappappconsxxsysappappconsxappappappendxsysfalseappappappendappappconsxxsysappappendxsfalse
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe