세상에는 많은 유튜버가 있고, 그중에서 버츄얼 유튜버도 존재한다

세상에는 많은 유튜버가 있고, 그중에는 버츄얼 유튜버도 있다. 매주 $5$회, 매주 총 $60$시간 이상 라이브 방송을 하는 버츄얼 유튜버를 진짜 버츄얼 유튜버라고 한다. 형식이는 버츄얼 유튜버를 좋아하고, 그중 진짜 버츄얼 유튜버를 찾고 싶어 한다. $N$개의 줄에 유튜버의 이름, 방송 날짜, 방송 시작 시각, 방송 종료 시각이 주어질 때, 진짜 버츄얼 유튜버의 이름을 사전 순으로 출력하시오.

날짜는 $1$일부터 시작하고, $1$일은 일요일이다. 일주일은 일요일부터 토요일까지이다.

첫 번째 줄에 방송의 수 $N$과 형식이가 방송을 마지막으로 본 날짜 $M$이 공백으로 구분되어 주어진다. $(1 \leq N \leq 36\,400;$ $7 \leq M \leq 364;$ $M$은 $7$의 배수$)$

두 번째 줄부터 $N$줄에 걸쳐 name day hh:mm hh:mm 형식으로 유튜버의 이름, 방송 날짜, 방송 시작 시각, 방송 종료 시각이 공백으로 구분되어 주어진다. $(1 \leq \text{day} \leq M)$ 시각은 24시간제를 사용한다. $(0 \leq \text{hh} \leq 23;$ $0 \leq \text{mm} \leq 59)$

이름은 길이가 최대 $20$자인 공백 없는 문자열이며, 영어 소문자로만 이루어져 있다. 이름은 서로 다르므로 이름으로 유튜버를 구분할 수 있으며, 유튜버는 최대 $100$명이다.

방송은 한 번에 최대 $23$시간 $59$분 진행된다. 전날 시작해서 자정을 넘겨 다음 날까지 이어지는 방송은 없으므로, 방송 시작 날짜와 종료 날짜는 항상 같다. 한 유튜버는 하루에 최대 한 번 방송한다.

진짜 버츄얼 유튜버의 이름을 사전 순으로 한 줄에 하나씩 출력하시오. 해당하는 유튜버가 없으면 -1을 출력하시오.

00:01에 방송을 시작해서 01:20에 방송을 끝냈다면 방송 시간은 1시간 19분이다.

방송 시작 시각은 항상 방송 종료 시각보다 이르다.

입력 순서는 방송 날짜의 오름차순이 아닐 수 있다.