Potrebbe dipendere dalla cache del filesystem.
Le operazioni sono molto vicine e veloci in questo script, ed operano tutte sullo stesso file.

Credo faresti meglio da usare un append per accodare "56" direttamente nel file invece di leggerlo, aggiornare txt e poi riscrivere il file.