LaTeX 전문가

Regina는 졸업 논문을 마무리하고 있다. 그녀는 LaTeX 전문가인 Grigory에게 조판을 도와달라고 부탁한다.

조판은 Grigory에게 쉬운 일이지만, 참고문헌 렌더링에는 문제가 있다. 졸업 논문 설계 요구사항에 따라, 참고문헌의 항목들은 본문에 등장하는 순서와 같은 순서로 배치되어야 한다. 각 참고문헌은 Regina의 논문에서 정확히 한 번 등장한다.

어떤 출처에 참고문헌을 배치하기 위해 Grigory는 \cite{<reference>} 구문을 사용한다. 여기서 <reference>는 참고문헌의 이름이다. 세 개의 참고문헌을 포함하는 텍스트의 예시는 다음과 같다.

The most famous characters of Pushkin's works are Onegin \cite{onegin},
Dubrovsky \cite{dubrovsky} and Tsar Saltan \cite{saltan}.

참고문헌 목록을 만들기 위해 Grigory는 논문 본문 뒤에 다음 구문을 배치해야 한다.

\begin{thebibliography}{99}
\bibitem{onegin} A.S.Pushkin. Eugene Onegin. 1831.
\bibitem{dubrovsky} A.S.Pushkin. Dubrovsky. 1841.
\bibitem{saltan} A.S.Pushkin. The Tale of Tsar Saltan. 1832.
\end{thebibliography}

여기서 99는 참고문헌의 최대 개수이고, 참고문헌 설명은 \bibitem{<reference>} 구문 뒤에 쓰인다.

텍스트가 상당히 크고 Grigory는 꽤 게으르기 때문에, 그는 참고문헌의 순서를 확인하고 싶어하지 않는다. 그래서 그는 텍스트와 참고문헌 목록을 분석할 수 있는 프로그램을 작성해 달라고 부탁한다. 참고문헌 목록이 올바르지 않다면, 프로그램은 올바른 새 목록을 출력해야 한다.

입력은 논문의 텍스트를 포함한다. 텍스트는 소문자 및 대문자 영어 알파벳, 줄 바꿈, 공백, <<.>>, <<,>>, <<'>> (ASCII 코드 39) 문자, 그리고 \cite{<reference>} 구문으로 이루어진다. 여기서 <reference>는 길이가 최대 $100$인 비어 있지 않은 소문자 영어 알파벳 문자열이다. <<\textbackslash>> 문자의 ASCII 코드는 92이다.

각 \cite{<reference>} 구문은 새 줄에서 시작하거나 공백 문자 뒤에 온다. 논문의 텍스트에는 빈 줄이 있을 수 있다.

텍스트 다음 줄은 \begin{thebibliography}{99}이다. 그다음 각 줄은 설명된 형식으로 출처에 대한 설명을 담는다. 설명은 논문의 텍스트와 같은 문자로 이루어진다. 각 설명의 길이는 $100$자를 넘지 않는다. 참고문헌 목록 다음 줄은 \end{thebibliography}{99}이다.

다음이 보장된다.

• 참고문헌의 총 개수는 99 이하이다.
• 텍스트에는 참고문헌이 적어도 하나 있다.
• 텍스트에 어떤 참고문헌이 있다면, 참고문헌 목록에도 그 참고문헌이 있다.
• 텍스트의 \cite{<reference>} 구문 개수는 참고문헌 목록의 \bibitem{<reference>} 구문 개수와 같다.
• 텍스트의 참고문헌들은 서로 다르다.
• 입력의 총 줄 수는 $10^5$ 이하이다.
• 텍스트에서 줄들의 길이 합은 $10^5$ 이하이다.
• 입력에는 연속된 두 공백 문자가 없다. 각 줄의 첫 문자와 마지막 문자는 공백이 아니다.

입력의 참고문헌 목록이 올바르면 Correct를 출력하고, 그렇지 않으면 Incorrect를 출력한다.

두 번째 경우에는 올바른 참고문헌 목록을 요구된 형식으로 출력한다. 출처 설명은 입력에 정의된 것과 같아야 한다.