Submissions for team Paradox Queue on problem unlockmanifolds_final_main