Submissions for team CATS on problem files_main