bax1bbx1babx1baax1aaax1abbx12.0baabx1bbbbx1baaax1bbbax1baabbbx1baaaabx1baabbax1baaaaax1aaaaabx1abbbbbx1aaaaaax1abbbbax1baaax1bax1baabbbx1baaaabx1baabbbx1aaabx1baabbax1baaaaax1baabbax1aaaax1baabbax1aax1aaaaaax1bax1truebaabbbx1baaaabx1baaax1bax1baabbax1baaaaax1baabbax1aaaax1aaaaaax1bax1baabbax1aax1true11ba111ab1111bb1111aa1111ba1111aa1111baabbbx1baaaabx1baabbax1baaaaax1baabbax1aaaax1baabbax1baaaaax1true121ba111ab1111ba11aa11bb10aaaaabx1abbbbbx1aaaaaax1abbbbax1baabbbx1baaaabx1falsebaabbax1aaaax1falsebaabbbx1aaabx1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe