Submissions for team WCIT Group 1 on problem unlockmanifolds_final_main