Submissions for team Gravitas on problem files_main