Irregular semi-empirical dipole-moment function for carbon monoxide and line lists for all its isotopologues verified for extremely high overtone transitions