Submissions for team 512 Pounds on problem unlockmanifolds_final_main