Submissions for team BigDog on problem shadows_main