Submissions for team funny on problem 4 unlockmanifolds_final_main