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