revnilnilrevconsxlconsrev1xlrev2xlrev10nil0rev1sxnilsxrev1xconsylrev1ylrev2xnilnilrev2xconsylrevconsxrev2yl2.110revconsxlrev1xlrevconsxlrev2xlrev1xconsylrev1ylrev2xconsylrevconsxrev2ylrev2xconsylrev2yltruerevconsxlrev2xlrev2xconsylrevconsxrev2ylrev2xconsylrev2yltruerev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlconsrev1xlrev2xlrev10nil0rev1sxnilsxrev1xconsylrev1yl1rev121cons2122rev222nil00rev11rev120002s1221rev22222revconsxlrev2xlrev2xnilnilrev2xconsylrevconsxrev2ylrevconsxlconsrev1xlrev2xlrevconsxlrev2xl1true11true2revconsxlrev1xlfalserev1xconsylrev1yltruerev1xconsylrev1yl2true12true2AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (11 real / 0 unknown / 0 assumptions / 11 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe