DM3.1 — Add D9 obstruction scoreboard and coordination map#19

Copilot wants to merge 2 commits into

mainTOTOGT/DM3-lab:mainfrom

copilot/register-micro-lemma-issuesTOTOGT/DM3-lab:copilot/register-micro-lemma-issuesCopy head branch name to clipboard