a__fabXa__fmarkXXmarkXa__caa__cbmarkfX1X2X3a__fmarkX1X2markX3markca__cmarkaamarkbba__fX1X2X3fX1X2X3a__cc2.1a__fabXa__fmarkXXmarkXa__fabXmarkXmarkfX1X2X3a__fmarkX1X2markX3markfX1X2X3markX1markfX1X2X3markX3markca__ctruea__fabXmarkXmarkfX1X2X3a__fmarkX1X2markX3a__fabXa__fmarkXXmarkXmarkfX1X2X3markX1markfX1X2X3markX3a__fabXa__fmarkXXmarkXa__caa__cbmarkfX1X2X3a__fmarkX1X2markX3markca__cmarkaamarkbba__fX1X2X3fX1X2X3a__cca__fabXmarkXa__fabXa__fmarkXXmarkXmarkfX1X2X3markX1markfX1X2X3markX3a__fabXa__fmarkXXmarkXa__caa__cbmarkfX1X2X3a__fmarkX1X2markX3markca__cmarkaamarkbba__fX1X2X3fX1X2X3a__cca__fabXa__fmarkXXmarkXa__fabXa__fmarkXXmarkXa__caa__cbmarkfX1X2X3a__fmarkX1X2markX3markca__cmarkaamarkbba__fX1X2X3fX1X2X3a__cca__fmarkmarka__cmarka__cmarkmarka__c311a__cca__fmarkmarka__cmarka__cmarkmarkc31markca__ca__fmarkmarka__cmarka__cmarka__c31a__cca__fmarkmarka__cmarka__cmarkc3markca__ca__fmarkmarka__cmarka__ca__c21a__cba__fmarkmarka__cmarkba__c2markbba__fmarkmarka__cba__c111a__caa__fmarkmarkaba__c11markaaa__fmarkaba__c1markaaa__faba__ca__fabX'a__fmarkX'X'markX'a__fmarka__ca__cmarka__c2a__cba__fmarka__cbmarka__c11a__caa__fmarkabmarka__c1markaaa__fabmarka__ca__fabXa__fmarkXXmarkXa__fmarkmarka__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