babx1abax1bbax1bbbx1cax1abcx1cbx1bacx12.1babx1abax1abbx1bbbx1acx1cbax1bcx1cabx1babx1abax1babx1bax1babx1ax1abbx1bbbx1acx1bax1acx1ax1bcx1abx1bcx1bx1true1b111a111c1211b111a111babx1abax1babx1bax1babx1ax1abbx1bbbx1babx1abax1abbx1bbbx1acx1cbax1bcx1cabx11a1-21b1-21a1121b1121c1-2babx1abax1abbx1bbbx131b10001a100000101b1000000001a10101c1001babx1abax11a1-2a12b1-221c121b121AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (7 real / 0 unknown / 0 assumptions / 7 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe