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