040000 tree 31a2aac236eceb03fb5e6d0eb25ca40d3304f9fa	mercury-md-sat
040000 tree c846d3f94c27d02023bf346b41a6ec504f691aa2	mercury-md-shared
100644 blob c98b3afd378dda4a7b92875452dfbd58ca836b16	pom.xml
040000 tree d283309ef870983d022ed804c594fa2e06d6080c	src