Como o número de linhas é um pouco grande, tornando o uso do excel extremamente lento, em conjunto com a falta de qualquer outra sugestão viável, resolvi isso com algum php.
Criei um arquivo php (que eu o executo no meu MAMP local) para executar o código abaixo, que imprimiria os números necessários no navegador.
No php:
era fácil agrupar os IDs existentes em uma matriz. Em seguida, criei outra matriz para os IDs dentro do intervalo do total de linhas. Em seguida, echo a lista de IDs, excluindo os que existem na matriz $ used.
$used = array ('42', '43', '44', '45',...)
$ids = array();
for ($min= 45;$min <15000;$min++) {
$ids[]=$min;
}
foreach ($ids as $id) {
if (!in_array($id,$used)) {echo $id ."<br />";}
}
Portanto, na página do meu navegador, recebi uma lista separada por linhas com números, que copiei e colei na minha planilha do Excel.