The symmetric binary root problem is fixed, meeting the requirements.