Submissions for team proof by AC on problem unlockmanifolds_final_main