J. Кирилл, Антон и длинные имена
ограничение по времени на тест
1 секунда
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

В Космозоопарке Кирилл и Антон увидели много необычных животных. Имя каждого из животных представляет собой одно или несколько слов, каждое из которых написано с большой буквы, соединённых в одно слово без пробелов. Например, LionRedBlueBig — корректное имя животного. Обратите внимание, что каждое такое имя можно разбить на отдельные слова, каждое из которых будет описывать основные характеристики животного.

МГ и ВМ попросили их описать свои впечатления от увиденного. Ребята решили отправить на Землю свой ответ в виде строки $$$S$$$. Проблема в том, что межгалактическая связь весьма затратна, и длина отправленной строки не может превышать $$$L$$$.

Чтобы сократить строку, Кирилл и Антон решили сократить некоторые имена. При этом должны соблюдаться следующие правила:

  1. Строки можно обрезать только с конца.
  2. Можно обрезать только целое число частей имени, т.е. отрезаемая часть начинается с заглавной буквы. Так, LionRedBlueBig можно обрезать до LionRedBlue..., LionRed..., Lion..., ..., но нельзя до LionRe....
  3. Если имя обрезано, то в конце к нему приписываются три точки.
  4. От всех имен должно быть отрезано одинаковое количество частей.
  5. Длина строки не должна превышать $$$L$$$. Если ответов несколько, выведите тот, в котором количество обрезанных частей имен минимально.
Пожалуйста, скажите друзьям, как будет выглядеть сжатая строка $$$S$$$ после укорачивания имен.
Входные данные

В первой строке задано написанное Кириллом и Антоном сообщение — строка $$$S$$$, длина которой не превышает $$$200\,000$$$ символов.

Во второй строке идет число $$$L$$$

Гарантируется, что заглавные буквы встречаются только в именах; после каждого имени следует либо пробел, либо окончание строки; перед каждым именем идет либо пробел, либо начало строки; строка $$$S$$$ не содержит двух пробелов подряд.

Выходные данные

Если строку $$$S$$$ можно сократить, соблюдая все правила, то выведите полученную строку. Если невозможно, то выведите -1.

Примеры
Входные данные
LionRareBlackCave and TigerAmurWhite are friends
40
Выходные данные
LionRare... and Tiger... are friends


Входные данные
LionRareBlackCave and TigerAmurWhite are friends
28
Выходные данные
Lion... and ... are friends


Входные данные
LionRareBlackCave and TigerAmurWhite are friends
16
Выходные данные
-1