0000x10101x11010x10100x12.00000x10101x10000x1101x10000x101x10000x11x11010x10100x11010x1100x11010x100x1true101110111111111111110000x10101x10000x1101x10000x10101x1true13101010101000000100111000100010010000x1101x1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe