YES aax1abbcx1bax1x1cbx1acx12.1aax1abbcx1aax1bbcx1aax1bcx1aax1cx1cbx1acx1cbx1cx1trueaax1cx1cbx1acx1aax1abbcx1cbx1cx1true31a1001a10010000111c1001b1101000000001c10000001cbx1acx1aax1abbcx1cbx1cx1cbx1cx1true1b111c111cbx1cx1cbx1cx11true1cbx1acx1falseaax1abbcx1true31a1001a10101011b1000011c100011aax1bbcx1falseaax1bcx1falseAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe