Submissions for team The Debug Trio on problem files_main