Submissions for team The Debuggera on problem shadows_main