a__fabXa__fXXmarkXa__caa__cbmarkfX1X2X3a__fX1X2markX3markca__cmarkaamarkbba__fX1X2X3fX1X2X3a__cc2.1a__fabXa__fXXmarkXa__fabXmarkXmarkfX1X2X3a__fX1X2markX3markfX1X2X3markX3markca__ctruea__fabXmarkXmarkfX1X2X3a__fX1X2markX3a__fabXa__fXXmarkXmarkfX1X2X3markX3a__fabXa__fXXmarkXa__caa__cbmarkfX1X2X3a__fX1X2markX3markca__cmarkaamarkbba__fX1X2X3fX1X2X3a__cca__fabXmarkXa__fabXa__fXXmarkXa__fabXa__fXXmarkXa__caa__cbmarkfX1X2X3a__fX1X2markX3markca__cmarkaamarkbba__fX1X2X3fX1X2X3a__cca__fabXa__fXXmarkXa__fabXa__fXXmarkXa__caa__cbmarkfX1X2X3a__fX1X2markX3markca__cmarkaamarkbba__fX1X2X3fX1X2X3a__cca__fmarka__cmarka__cmarkmarka__c311a__cca__fmarka__cmarka__cmarkmarkc31markca__ca__fmarka__cmarka__cmarka__c31a__cca__fmarka__cmarka__cmarkc3markca__ca__fmarka__cmarka__ca__c21a__cba__fmarka__cmarkba__c2markbba__fmarka__cba__c11a__caa__fmarkaba__c1markaaa__faba__ca__fabX'a__fX'X'markX'a__fa__ca__cmarka__c2a__cba__fa__cbmarka__c1a__caa__fabmarka__ca__fabXa__fXXmarkXa__fmarka__cmarka__cmarkmarka__cAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe