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