topsentxtopcheckrestxrestnilsentnilrestconsxysentychecksentxsentcheckxcheckrestxrestcheckxcheckconsxyconscheckxycheckconsxyconsxcheckycheckconsxyconsxy2.0topsentxtopcheckrestxtopsentxcheckrestxtopsentxrestxchecksentxcheckxcheckrestxrestcheckxcheckrestxcheckxcheckconsxycheckxcheckconsxycheckytruetopsentxtopcheckrestxtrue12341rest111nil00sent121cons21122check121top121topsentxtopcheckrestxrestnilsentnilrestconsxysentychecksentxsentcheckxcheckrestxrestcheckxcheckconsxyconscheckxycheckconsxyconsxcheckycheckconsxyconsxyrestnilsentnilrestconsxysentychecksentxsentcheckxcheckrestxrestcheckxcheckconsxyconscheckxycheckconsxyconsxcheckycheckconsxyconsxy1rest111nil00sent121cons211122check121top111topsentxtopcheckrestxrestnilsentnilchecksentxsentcheckxcheckrestxrestcheckx31top10001000000001sent11100001101001check10000001100001rest10001000101101nil0101topsentxcheckrestxfalse13topsentxrestxfalse2checkrestxcheckxchecksentxcheckxcheckconsxycheckxcheckconsxycheckytrue1check111rest1111sent1111cons211112checkrestxrestcheckxfalse
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe