Submissions for team Big Unbad Coder on problem unlockmanifolds_final_main