Among the many YouTubers, virtual YouTubers exist

There are many YouTubers in the world, and some of them are virtual YouTubers. A virtual YouTuber who streams live $5$ times a week, with a total of at least $60$ hours of live streaming per week, is called a real virtual YouTuber. Hyeongsik likes virtual YouTubers and wants to find the real virtual YouTubers. Given $N$ lines, each with a YouTuber's name, a broadcast day, a start time, and an end time, print the names of the real virtual YouTubers in lexicographic order.

Day $1$ is a Sunday. A week runs from Sunday to Saturday.

The first line contains the number of broadcasts $N$ and the last day $M$ that Hyeongsik watched, separated by a space. $(1 \leq N \leq 36\,400;$ $7 \leq M \leq 364;$ $M$ is a multiple of $7)$

The next $N$ lines each contain name day hh:mm hh:mm, separated by spaces: the YouTuber's name, the broadcast day, the start time, and the end time. $(1 \leq \text{day} \leq M)$ Times use the 24-hour clock. $(0 \leq \text{hh} \leq 23;$ $0 \leq \text{mm} \leq 59)$

A name has at most $20$ characters, contains no spaces, and consists only of lowercase English letters. Names are distinct, so each name identifies one YouTuber. There are at most $100$ YouTubers.

A broadcast lasts at most $23$ hours and $59$ minutes. No broadcast starts on one day and continues past midnight into the next day, so the start and end dates are always the same. A YouTuber broadcasts at most once per day.

Print the names of the real virtual YouTubers in lexicographic order, one per line. If there are none, print -1.

A broadcast that starts at 00:01 and ends at 01:20 lasts 1 hour and 19 minutes.

The start time is always earlier than the end time.

The input order may not be sorted by broadcast day.