flattennilnilflattenunitxflattenxflatten++xy++flattenxflattenyflatten++unitxy++flattenxflattenyflattenflattenxflattenxrevnilnilrevunitxunitxrev++xy++revyrevxrevrevxx++xnilx++nilyy++++xyz++x++yz2.0flattenunitxflattenxflatten++xy++flattenxflattenyflatten++xyflattenxflatten++xyflattenyflatten++unitxy++flattenxflattenyflatten++unitxyflattenxflatten++unitxyflattenyrev++xy++revyrevxrev++xyrevyrev++xyrevx++++xyz++x++yz++++xyz++yztrueflatten++xyflattenxflattenunitxflattenxflatten++xyflattenyflatten++unitxyflattenxflatten++unitxyflattenytrue2351flatten111++211112unit1111flatten++xy++flattenxflattenyfalse34flatten++unitxy++flattenxflattenyfalse3rev++xyrevxrev++xyrevytrue21rev111++211112rev++xy++revyrevxfalse1++++xyz++yz++++xyz++x++yztrue1++2-221++221122nil02
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe