Submissions for team Sure! Here's a list of names: on problem unlockmanifolds_final_main