gAAgBAgBBgCAgCBgCCfoldfxnilxfoldfxconsyzffoldfxzyftxf'tgxf'tripleabcCtripleabconsCcf'tripleabcBftripleabcAf'tripleabcAf''foldftripleconsAanilcbf''tripleabcfoldftripleabnilc2.1foldfxconsyzffoldfxzyfoldfxconsyzfoldfxzftxf'tgxftxgxf'tripleabcBftripleabcAf'tripleabcAf''foldftripleconsAanilcbf'tripleabcAfoldftripleconsAanilcbf''tripleabcfoldftripleabnilctrueftxf'tgxf'tripleabcBftripleabcAf'tripleabcAf''foldftripleconsAanilcbf''tripleabcfoldftripleabnilcfoldfxconsyzffoldfxzyfoldfxconsyzfoldfxzf'tripleabcAfoldftripleconsAanilcbtrue1f20010f'2001027f''110foldf2001f21f'21g10triple31213B00A00f''11foldf21112cons2112nil00foldf21112C00f2111f'2111f''1111ftxf'tgxf'tripleabcBftripleabcAf'tripleabcAf''foldftripleconsAanilcbf''tripleabcfoldftripleabnilcfoldfxconsyzffoldfxzyf'tripleabcAfoldftripleconsAanilcbf2001220f'20012f''10010foldf2001f21f'212g111triple31213B01A01f''11foldf21112cons211112nil00foldf21112C01f211112f'211112f''1111ftxf'tgxf'tripleabcBftripleabcAf'tripleabcAf''foldftripleconsAanilcbf''tripleabcfoldftripleabnilcfoldfxconsyzffoldfxzyf2001629f'21629f''10016foldf200141f20f'21g111triple31213B01A01f''11foldf21112cons211112nil00foldf21112C01f211112f'211112f''111ftxf'tgxf'tripleabcBftripleabcAf'tripleabcAf''foldftripleconsAanilcbf'tripleabcBftripleabcAftxf'tgxtrue1f'200f210211f'212triple31B01f211A00g111C01f'tripleabcBftripleabcAgAAgBAgBBgCAgCBgCCf'tripleabcBftripleabcAfalsef'tripleabcAf''foldftripleconsAanilcbfalseftxgxfalse
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe