이상적인 채점표

보핀 교수는 ICPC 지역 대회의 심판장이다. 대회가 진행되는 동안 채점표를 지켜보고 분석하는 일을 좋아한다. 교수는 다음 네 조건이 동시에 성립할 때 채점표가 이상적이라고 본다.

• 모든 팀이 적어도 한 문제를 해결했다.
• 모든 문제를 해결한 팀은 없다.
• 모든 문제를 적어도 한 팀이 해결했다.
• 모든 팀이 해결한 문제는 없다.

대회가 시작하는 순간의 채점표는 당연히 이상적이지 않지만, 대회 도중에 이상적인 상태가 될 수 있다. 한 번 이상적인 상태가 된 채점표는 대회가 끝날 때까지 그 상태를 유지하거나, 도중에 그 성질을 잃는다. 성질을 잃은 뒤에는 다시 이상적인 상태가 되지 않음을 증명할 수 있다. 대회의 제출 기록이 주어질 때, 채점표가 이상적이었던 구간을 구하라.

입력은 여러 개의 테스트 케이스로 이루어진다. 각 테스트 케이스의 첫 줄에는 팀의 수 $T$, 문제의 수 $P$, 제출의 수 $S$가 공백으로 구분되어 주어진다 ($1 \le T \le 150$, $1 \le P \le 15$, $0 \le S \le 5000$). 이어지는 $S$개의 줄에는 제출 기록이 공백으로 구분된 네 개의 값으로 주어진다.

• teamID: 팀 번호로, $1$ 이상 $T$ 이하의 정수다.
• problemID: 문제 번호로, 영어 알파벳 대문자 가운데 앞쪽 $P$개 글자 중 하나다.
• submission-time: 제출 시각으로, HH:MM:SS 형식이며 세 부분 모두 정확히 두 자리다 ($00 \le HH \le 05$, $00 \le MM, SS \le 59$).
• result: 채점 결과로, 다음 중 하나다.
  • Yes: 이 결과만이 해당 팀이 그 문제를 해결했음을 뜻한다.
  • No - Compilation Error: 제출한 프로그램에 컴파일 오류가 있어 실패했다.
  • No - Wrong Answer: 제출한 프로그램의 출력이 틀려서 실패했다.
  • No - Run-time Error: 제출한 프로그램을 실행하는 중에 오류가 나서 실패했다.
  • No - Time Limit Exceeded: 제출한 프로그램이 시간 제한 안에 끝나지 않아 실패했다.
  • No - Presentation Error: 제출한 프로그램의 출력 형식이 틀려서 실패했다.

같은 시각에 이루어진 제출은 없다. 제출 기록은 시각 순서대로 주어지지 않을 수도 있다. 한 팀이 이미 해결한 문제에 Yes 제출을 다시 남길 수도 있고, 그 제출은 채점표를 바꾸지 않는다.

입력의 마지막 줄에는 0 0 0이 주어지며, 이 줄은 테스트 케이스가 아니다.

각 테스트 케이스마다 채점표가 이상적이었던 구간을 한 줄에 출력한다. 구간은 입력과 똑같은 HH:MM:SS 형식의 시각 두 개로 나타낸다. 첫 번째 시각은 채점표가 이상적인 상태가 된 순간이고, 두 번째 시각은 채점표가 더 이상 이상적이지 않게 된 순간이다. 대회가 끝날 때까지 이상적인 상태가 유지되었다면 두 번째 시각으로 --:--:--를 출력한다. 대회 내내 한 번도 이상적인 상태가 되지 않았다면 두 시각 모두 --:--:--로 출력한다.