i00+0yy+x0xiixx+ixx0+xix0i+xy+ixiy+x+yz++xyz++xiyyx++xyiyx2.0i+xy+ixiyi+xyixi+xyiy+x+yz++xyz+x+yz+xytruei+xyiyi+xyixtrue121i111+211112i+xy+ixiyfalse1+x+yz+xy+x+yz++xyztrue1+212+211112000i10
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe