baax1abcx1cax1acx1bcax1abcx1cbx1dx1dx1bax1adx1dax1aax1abax12.1baax1abcx1baax1bcx1baax1cx1cax1acx1cax1cx1bcax1abcx1bcax1bcx1bcax1cx1cbx1dx1dx1bax1dx1ax1adx1dax1adx1ax1aax1abax1aax1bax1true1b111a1111a1111b111c1111c1111d1111d1111baax1abcx1cax1acx1bcax1abcx1cbx1dx1dx1bax1dx1ax1adx1dax1aax1abax1cbx1dx1falsecax1acx1falsebcax1abcx1falseadx1dax1dx1bax1baax1abcx1aax1abax1dx1ax1true1a111d1111d111a111b10b10c10dx1bax1baax1abcx1aax1abax1dx1ax1adx1dax1dx1bax1baax1abcx1aax1abax1bcax1abcx1dx1bax1falsebaax1abcx1falsedx1ax1falseaax1abax1true1a1-221a121d11b1-21c121AProVEAProVE 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