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