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