Тесты задачи не учитывают очевидный кейс, когда во вводе присутствует имя с целым числом на хвосте. Например, вот это "Полное решение" https://codeforces.com/contest/4/submission/36132880 неверно обрабатывает следующий ввод:

7
first
first
first1
second
second
third
third

Ожидаемый вывод: ~~~~~ OK first1 first11 OK second1 OK third1 ~~~~~

Актуальный вывод:

OK
first1
**OK**
OK
second1
OK
third1

first1 не должен быть ОК, т.к. он уже есть в БД. Согласно условию задачи программа должна предложить пользователю новый логин first11.

Как можно поправить тесты к задаче?