040000 tree 90d47c158c3909a872bd673374e1ae04cad976ed	mercury-md-sat
040000 tree c01528e2d4f793b03da713335b536725218b0ecc	mercury-md-shared
100644 blob 3f1df486a58d4759e9999e279f4c5f44e412bf94	pom.xml
040000 tree d283309ef870983d022ed804c594fa2e06d6080c	src