Submissions for team Codebuds on problem 4 unlockmanifolds_final_main