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