Submissions for team UHS++ on problem files_main