Submissions for team O(0) on problem 4 unlockmanifolds_final_main