gAAgBAgBBgCAgCBgCCfoldfxnilxfoldfxconsyzffoldfxzyftxf'tgxf'tripleabcCtripleabconsCcf'tripleabcBftripleabcAf'tripleabcAf''foldftripleconsAanilcbf''tripleabcfoldftripleabnilc2.11g111A00B00C02foldf21112nil00cons21112f21112f'21112triple3211213f''111gAAgBAgBBgCCfoldfxnilxfoldfxconsyzffoldfxzyftxf'tgxf'tripleabcCtripleabconsCcf'tripleabcBftripleabcAf'tripleabcAf''foldftripleconsAanilcbf''tripleabcfoldftripleabnilc1g111A00B01C00foldf21112nil00cons21112f21112f'21112triple3111213f''111gAAgBBgCCfoldfxnilxfoldfxconsyzffoldfxzyftxf'tgxf'tripleabcCtripleabconsCcf'tripleabcAf''foldftripleconsAanilcbf''tripleabcfoldftripleabnilc1g121A00B01C00foldf21112nil00cons22112f21122f'21112triple3211213f''111gAAgCCfoldfxnilxfoldfxconsyzffoldfxzyftxf'tgxf'tripleabcCtripleabconsCcf'tripleabcAf''foldftripleconsAanilcbf''tripleabcfoldftripleabnilc1g111A00C00foldf21122nil00cons212112f221122f'221122triple32112223f''111gAAgCCfoldfxnilxfoldfxconsyzffoldfxzyftxf'tgxf'tripleabcCtripleabconsCcf''tripleabcfoldftripleabnilc1A081C011nil001g190f''171foldf260cons220f250f'240triple330AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe