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