040000 tree f7943cd2e42ce745514d5222079f9ddbdc16be56	mercury-md-sat
040000 tree fd82ba662296b53d762dc71e3786e508090996ed	mercury-md-shared
100644 blob 49464946b2c1fe29636d51c9a29816c4cbeea39b	pom.xml
040000 tree d283309ef870983d022ed804c594fa2e06d6080c	src