Submissions for team sleepy programmer on problem unlockmanifolds_final_main