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