gAAgBAgBBgCAgCBgCCfoldBt0tfoldBtsnffoldBtnBfoldCt0tfoldCtsnffoldCtnCftxf'tgxf'tripleabcCtripleabscf'tripleabcBftripleabcAf'tripleabcAf''foldBtriplesa0cbf''tripleabcfoldCtripleab0c2.1foldBtsnffoldBtnBfoldBtsnfoldBtnfoldCtsnffoldCtnCfoldCtsnfoldCtnftxf'tgxftxgxf'tripleabcBftripleabcAf'tripleabcAf''foldBtriplesa0cbf'tripleabcAfoldBtriplesa0cbf''tripleabcfoldCtripleab0ctrueftxf'tgxf'tripleabcBftripleabcAf'tripleabcAf''foldBtriplesa0cbf''tripleabcfoldCtripleab0cfoldCtsnffoldCtnCfoldCtsnfoldCtnf'tripleabcAfoldBtriplesa0cbfoldBtsnffoldBtnBfoldBtsnfoldBtntrue1f2001020f'200f''10010foldC2001020foldB200101f20f'211g111triple313B00A00f''10foldB211s1111000foldC21112foldC21112C01foldB20f21112f'21112f''111ftxf'tgxf'tripleabcBftripleabcAf'tripleabcAf''foldBtriplesa0cbf''tripleabcfoldCtripleab0cfoldCtsnffoldCtnCf'tripleabcAfoldBtriplesa0cbfoldBtsnffoldBtnBfoldBtsnfoldBtnf20020f'210f''110foldC200foldB200101f21112f'212g1111triple312B01A00f''10foldB21112s1111000foldC211foldC211C00foldB21112f211f'211f''111ftxf'tgxf'tripleabcBftripleabcAf'tripleabcAf''foldBtriplesa0cbf''tripleabcfoldCtripleab0cfoldCtsnffoldCtnCf'tripleabcAfoldBtriplesa0cbfoldBtsnffoldBtnBf20025f'2001025f''110foldC200foldB200101f211f'212g111triple31213B00A00f''1111foldB21112s1111000foldC21112foldC211112C00foldB21112f2111f'2111f''1111ftxf'tgxf'tripleabcBftripleabcAf'tripleabcAf''foldBtriplesa0cbf''tripleabcfoldCtripleab0cfoldCtsnffoldCtnCf'tripleabcAfoldBtriplesa0cbf'tripleabcBftripleabcAftxf'tgxf'tripleabcAf''foldBtriplesa0cbf''tripleabcfoldCtripleab0cfoldCtsnffoldCtnCtrue1f'210f200f''10010foldC2001f'20triple313B00f211A00g111f''1111foldB211s1111000foldC21112foldC21112C01f21112f'21112f''111f'tripleabcBftripleabcAftxf'tgxf'tripleabcAf''foldBtriplesa0cbf''tripleabcfoldCtripleab0cftxf'tgxf'tripleabcBftripleabcAtrue12f21020f'200101f2111f'212g111triple3111213B01A00C01ftxf'tgxgAAgBAgBBgCAgCBgCCftxf'tgxfalsef'tripleabcAf''foldBtriplesa0cbfalse1f''tripleabcfoldCtripleab0cfalsef'tripleabcAfoldBtriplesa0cbfalseftxgxfalse
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe