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