Submissions for team CodeBulls on problem unlockmanifolds_final_main