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