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