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