Submissions for team Ben Team on problem 4 unlockmanifolds_final_main