Submissions for team Bug Killers on problem unlockmanifolds_final_main