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++211++211112nil00
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe