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