Конец файла стоит ожидать только вокруг первого ```readInt()```. Иначе конец файла это невалидный ввод.