bbx1babaabx1bbabx1babbx1baaabaabx1baaabbx1bbaabx1baabbx12.0bbx1babaabx1bbx1baabx1bbabx1babbx1bbabx1bbx1baaabaabx1baaabbx1baaabaabx1bbx1bbaabx1baabbx1bbaabx1bbx1truebaaabaabx1baaabbx1true12345631b1001a1000000001b11000101baaabaabx1bbx1false12345bbaabx1bbx1bbabx1bbx1true1234bbaabx1bbx11
true
1bbabx1bbx11
true
1bbx1babaabx1falsebbx1baabx1falsebbabx1babbx1falsebbaabx1baabbx1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe