eq00trueeq0sXfalseeqsX0falseeqsXsYeqXYrmNnilnilrmNaddMXifrmeqNMNaddMXifrmtrueNaddMXrmNXifrmfalseNaddMXaddMrmNXpurgenilnilpurgeaddNXaddNpurgermNX2.1eqsXsYeqXYrmNaddMXifrmeqNMNaddMXrmNaddMXeqNMifrmtrueNaddMXrmNXifrmfalseNaddMXrmNXpurgeaddNXpurgermNXpurgeaddNXrmNXtruepurgeaddNXpurgermNXtrue1234nil01add22eq20true00false03000s10rm22nil0add22ifrm33eq21true0false000s1rmNnilnilrmNaddMXifrmeqNMNaddMXifrmtrueNaddMXrmNXifrmfalseNaddMXaddMrmNXpurgeaddNXpurgermNX1true1purgeaddNXrmNXfalse123rmNaddMXifrmeqNMNaddMXifrmtrueNaddMXrmNXifrmfalseNaddMXrmNXtrue12add20true01false02true0false0add22rmNaddMXifrmeqNMNaddMX1false22false3ifrmtrueNaddMXrmNX2false13true2ifrmfalseNaddMXrmNX2false13true2rmNaddMXeqNMfalse1eqsXsYeqXYtrues10s11eqsXsYeqXY1true12true2
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe