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