A branch and bound irredundant graph algorithm for large-scale MLCS problems. (November 2021)