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