Submissions for team mathforcesbox on problem unlockmanifolds_final_main