abcax1bacbabx1adx1cx1affx1gx1bgx1gbx1cx1ffx1cacx1bcabcx1cdx1aax1gx1cax1gx1ddddx12.0acbax1babcabx1dax1cx1ffax1gx1gbx1bgx1cx1ffx1cacx1cbacbx1dcx1aax1gx1acx1gx1ddddx11a11112c11118b111d1117f1119g11130acbax1babcabx1ffax1gx1gbx1bgx1cx1ffx1cacx1cbacbx1gx1acx1acbax1abcabx1acbax1cabx1acbax1abx1ffax1gx1gbx1gx1cx1ffx1cx1fx1cacx1cbacbx1cacx1acbx1cacx1cbx1gx1acx1gx1cx1trueacbax1cabx1cx1ffx1ffax1gx1gbx1gx1gx1acx1gx1cx1cx1fx1cacx1cbacbx1cacx1acbx1cacx1cbx1true121a1111c111b111a1111c111f111f111g1111g1111cx1ffx1ffax1gx1gbx1gx1gx1acx1cx1fx1cacx1cbacbx1cacx1acbx1cacx1cbacbx1false12345cx1ffx1false234cx1fx1false123ffax1gx1false12gbx1gx1true1gbx1gx11
true
1gx1acx1falsecacx1acbx1falseacbax1abcabx1falseacbax1abx1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe