aabx1bcbaaax1acx1x12.1baax1aaabcbx1cax1x1baax1bcbx1baax1cbx1baax1bx1truebaax1bx1baax1bcbx1baaaaaaaabcbbcbabcbbcbx0baaaaaaaabcbbcbabcbbcbx0x0bcbbcbabcbbcbx0baaaaaaaax0x0bcbbcbabcbbcbx0baaaaaaaabcbbcbabcbbcbx0x0bcbbcbabcbbcbx0baaaaaaaax0baaaaaaaabcbbcbabcbbcbx0baaaaaaaay0baaaaaaaabcbbcbabcbbcby0baaaaaaaay0bcaaabcaaabcaaabcby0baaaaaaaay0bcaaabcaaabcbaay0baaaaaax0bcaaabcaaabcbx0baaaaaay0bcaaabcaaabcby0baaaaaay0bcaaabcbaay0baaaax0bcaaabcbx0baaaay0bcaaabcby0baaaay0bcbaay0baax0bcbx0baax1bcbx1baax1bcbx1truex1x0x0aay0baay0aaabcby0baax1aaabcbx1baax1aaabcbx1falsex1y011y0x0x0aay0baay0aaabcby0baax1aaabcbx1baax1aaabcbx1falsex1y01111111y0x0x0aay0baay0aaabcby0baax1aaabcbx1baax1aaabcbx1falsex1y0111111111111bcaaabcaaabcaaabcby01cax1x1baabcaaabcaaabcby01111cax1x1baabaabcaaabcby0111baax1aaabcbx1baaaaabcbbcaaabcby01111111111cax1x1baaaaabcbbaabcby0111111111baax1aaabcbx1baaaaabcbaaabcbbcby011111111baax1aaabcbx1baaaaabcaaabcbabcbbcby01111111cax1x1baaaaabaabcbabcbbcby0111111baax1aaabcbx1baaaaaaaabcbbcbabcbbcby0y0x0x0bcbbcbabcbbcbx0x0bcbbcbabcbbcbx0x0bcbbcbabcbbcbx010
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml53248