aaax1bx1bbx1aax1aax1abax12.0aaax1bx1bbx1aax1bbx1ax1aax1abax1aax1bax1true31a100101a111001001001b10111b100100110101bbx1aax1aax1abax1aax1bax131b1001b100000110111a10001a1001001001bbx1aax1aax1abax1bbx1aax1false1aax1abax1true31a10-11a102-1-1-12-1-11b102-1-1-12-12-11
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe