se non hai problemi di memoria (cioè il file è piccolo), potresti partire da questo:

codice:
$fp = fopen("tuofile.txt", "r");
$file = fread($fp, filesize("tuofile.txt"));
fclose($fp);

print preg_replace('/([0-9]{1,3})/', '$1'+19, $file);
non so' se funziona ma è un buon inizio