aabx1bcbaaax1acx1bx12.1baax1aaabcbx1cax1bx1baax1bcbx1baax1cbx1baax1bx1cax1bx1truebaax0cax01baaaaaabcbabcbbcbabcbabcbbcbx0baaaaaabcbabcbbcbabcbabcbbcbx0x0bcbabcbbcbabcbabcbbcbx0baaaaaax0x0bcbabcbbcbabcbabcbbcbx0baaaaaabcbabcbbcbabcbabcbbcbx0x0bcbabcbbcbabcbabcbbcbx0baaaaaax0baaaaaabcbabcbbcbabcbabcbbcbx0baaaaaay0baaaaaabcbabcbbcbabcbabcbbcby0baaaaaay0bcaaabcaaabcby0baaaaaay0bcaaabcbaay0baaaax0bcaaabcbx0baaaay0bcaaabcby0baaaay0bcbaay0baax0bcbx0baax1bcbx1baax1bcbx1truex1x0x0aay0baay0aaabcby0baax1aaabcbx1baax1aaabcbx1falsex1y011y0x0x0aay0baay0aaabcby0baax1aaabcbx1baax1aaabcbx1falsex1y01111111bcaaabcaaabcby01cax1bx1bbaabcaaabcby01baax1aaabcbx1baaabcbbcaaabcby011111111cax1bx1baaabcbbbaabcby011111111baax1aaabcbx1baaabcbbaaabcbbcby01111111baax1aaabcbx1baaabcbaaabcbabcbbcby0111111baax1aaabcbx1baaabcaaabcbabcbabcbbcby011111cax1bx1baaabbaabcbabcbabcbbcby011111baax1aaabcbx1baaabaaabcbbcbabcbabcbbcby01111baax1aaabcbx1baaaaaabcbabcbbcbabcbabcbbcby0y0x0x0bcbabcbbcbabcbabcbbcbx0x0bcbabcbbcbabcbabcbbcbx0x0bcbabcbbcbabcbabcbbcbx010
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Secret_07_SRS/num-530.xml53157