fxxfabbc2.0fz1fz0fxxfabfbz1fcz1fz0bfz0cfffxxfababfaaxxfababfbbxxfababfccxxfababfbfbz1fcfcz1fbabz1fcacz1fbbbz1fcbcz1fbcbz1fcccz1ffbz0bffcz0cfabz0bfacz0cfbbz0bfbcz0cfcbz0bfccz0c1fff211122fab211121a00b00faa211122fbb211124fcc211122fbf211121fcf21112c00fba211121fca21112fcb211123fbc211123ffb211121ffc21112fac21112
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe