Submissions for team 理科易如反掌 on problem unlockmanifolds_final_main