bcx1dcx1bdx1dbx1adx1abbx12.1bddbfalseb10ddb10bddbadabbfalseab10dabbb10b10ddb10adabbadab10dab12ab10dabbb10ab10dab11bab10dab12bcdcfalseab10dcab11dcab10dab11bbcdccbab10dcab11dcAProVEunknownStatistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe