gAAgBAgBBgCAgCBgCCfoldBt0tfoldBtsnffoldBtnBfoldCt0tfoldCtsnffoldCtnCftxf'tgxf'tripleabcCtripleabscf'tripleabcBftripleabcAf'tripleabcAf''foldBtriplesa0cbf''tripleabcfoldCtripleab0c2.11g111A02B02C02foldB21122000s1211f21122foldC21122f'21122triple3112223f''111gAAgBAgBBgCAgCBgCCfoldBt0tfoldBtsnffoldBtnBfoldCt0tfoldCtsnffoldCtnCftxf'tgxf'tripleabcCtripleabscf'tripleabcBftripleabcAf''tripleabcfoldCtripleab0c1A0101B022C0030032g1110s143f''193foldB210f270foldC280f'260triple350AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (3 real / 0 unknown / 0 assumptions / 3 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe