eq00trueeq0sXfalseeqsX0falseeqsXsYeqXYrmNnilnilrmNaddMXifrmeqNMNaddMXifrmtrueNaddMXrmNXifrmfalseNaddMXaddMrmNXpurgenilnilpurgeaddNXaddNpurgermNX2.0eqsXsYeqXYrmNaddMXifrmeqNMNaddMXrmNaddMXeqNMifrmtrueNaddMXrmNXifrmfalseNaddMXrmNXpurgeaddNXpurgermNXpurgeaddNXrmNXtruepurgeaddNXpurgermNXtrue12341purge111add211112rm212nil00ifrm313eq212true00false00001s1111rmNnilnilrmNaddMXifrmeqNMNaddMXifrmtrueNaddMXrmNXifrmfalseNaddMXaddMrmNXpurgeaddNXrmNXfalse123rmNaddMXifrmeqNMNaddMXifrmtrueNaddMXrmNXifrmfalseNaddMXrmNXtrue121ifrm3223eq2221002true00s1-221false02rm2222add222112rmNaddMXifrmeqNMNaddMXrmNaddMXifrmeqNMNaddMXfalsermNaddMXeqNMfalse1eqsXsYeqXYtrue1eq2-12122s1221
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe