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