bax1bbx1babx1baax1aaax1abbx12.0baabx1bbbbx1baaax1bbbax1baabbbx1baaaabx1baabbax1baaaaax1aaaaabx1abbbbbx1aaaaaax1abbbbax1baaax1bax1baabbbx1baaaabx1baabbbx1aaabx1baabbax1baaaaax1baabbax1aaaax1baabbax1aax1aaaaaax1bax1truebaabbbx1baaaabx1baaax1bax1baabbax1baaaaax1baabbax1aaaax1aaaaaax1bax1baabbax1aax1true11ba111ab1111bb1111aa1111ba1111aa1111baabbbx1baaaabx1baabbax1baaaaax1baabbax1aaaax1baabbax1baaaaax1true121ba111ab1111ba11aa11bb10aaaaabx1abbbbbx1aaaaaax1abbbbax1baabbbx1baaaabx1falsebaabbax1aaaax1falsebaabbbx1aaabx1false
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe