\begin{problem}{Сокращение ссылок}{twi.in}{twi.out}{2 секунды}

%Автор задачи: Владимир Ульянцев
%Автор условия: Николай Ведерников

%\ProblemIdea

%Пусть у нас есть свой твиттер с ограничением $l$ символов на твит.
%Мы желаем сделать фичу --- если в процессе написания твита длинные ссылки
%можно сократить так, что твит поместится в ограничение, то они по очереди
%сокращаются таким образом: <<http://pda.lenta.ru/news/2012/01/09/sudoku/>>
%переходит в <<pda.lenta.ru/news/2012/01/0...>>.
%Сокращения происходят до тех пор, пока твит не помещается.


%Необходимо вывести твит, а если он не помещается, вывести сколько 
%символов не поместилось.

Вася решил написать свою социальную сеть. Идея этой социальной сети в том, что 
каждый может писать сообщения другому пользователю, но в сообщении должно быть не 
более $l$ символов. Одной из особенностей сайта является то, что каждый день 
ограничение на количество символов меняется.

Вася уже полностью написал свой сайт и решил показать его своему другу Пете.
Пете очень понравилась задумка Васи, поэтому он предложил для увеличения размера 
информации в сообщениях сокращать ссылки. Помогите Васе реализовать сжатие ссылок.

Ссылкой назовем последовательность символов, начинающуюся с <<\texttt{http://}>> (без кавычек), за которой идёт 
последовательность из строчных латинских букв, цифр, знаков <<\texttt{/}>>, <<\texttt{:}>> или <<\texttt{.}>>, кроме того, 
есть как минимум один символ после <<\texttt{http://}>>. Для облегчения задачи, после ссылки идет либо пробел, либо конец строки. 
Перед ссылкой также идет либо пробел, либо начало строки.

Сокращение ссылки производится для того, чтобы длина сообщения не превышала $l$ символов.
Сокращенной ссылкой считается любая ссылка, состоящая из некоторого префикса (нуля или больше первых символов) 
исходной ссылки и дописанных в конец трех точек. Например, ссылки <<\texttt{http://pda.lenta.ru/news/2012/01/0...}>> 
и <<\texttt{...}>> являются сокращенными из ссылки <<\texttt{http://pda.lenta.ru/news/2012/01/09/sudoku/}>>. 
Однако, по Васиной задумке, для того чтобы по возможности сохранить суть сообщения, префикс исходной ссылки в сокращенной 
должен быть максимально возможной длины. Если ссылок в сообщении несколько, 
то сначала происходит сжатие первой ссылки до максимально возможного сжатия (если это надо), а лишь затем происходит 
сжатие следующей и так далее. Максимально ссылку можно сжать до <<\texttt{...}>>.

\InputFile
В первой строке входного файл дано одно число $l$ ($2 \le l \le 10000$)~--- ограничение на размер сообщения.
Вторая строка содержит текст сообщения $s$. Строка не пустая, содержит не более $10000$ символов и заканчивается переводом строки, 
который не входит в текст сообщения. Гаранируется, что в строке есть хотя бы одна ссылка.

\OutputFile
В первой строке выходного файла выведите сжатый текст. 
Во второй строке выведите <<$0$>>, если сокращенное сообщение умещается в ограничение на длину сообщений.
Иначе, выведите  количество символов, на которое превышено ограничение на размер сообщения.

\Examples
\begin{example}%
\exmp{
67
Visit http://olympiads.ru/zaoch/ and http://acm.timus.ru ------ it's interesting.
}{
Visit http://olymp... and http://acm.timus.ru ------ it's interesting.
0
}%
\exmp{
46
Visit http://olympiads.ru/zaoch/ and http://acm.timus.ru ------ it's interesting.
}{
Visit ... and http://... ------ it's interesting.
0
}%
\exmp{
30
Visit http://olympiads.ru/zaoch/ and http://acm.timus.ru ------ it's interesting.
}{
Visit ... and ... ------ it's interesting.
9
}%
\exmp{
81
This link is not valid http://iojury@gmail.com but this one is valid http://godzilla
}{
This link is not valid http://iojury@gmail.com but this one is valid http://go...
0
}%
\end{example}
\Note
Решения работающие при условие, что в тексте не более одной ссылки и проходящие тесты из условия оцениваются из 60
баллов.

\end{problem}
