The Riverbend Municipal Grid runs a rebate program for community electric-vehicle charging stations. A station operator earns the rebate if at least one of their charging sessions is a peak-window session: its calendar date falls within an announced date window, the time of day it started falls within an announced daily time window, and the energy it delivered meets a minimum threshold.

You are given a log of charging sessions, each recording the operator's id, the session's start date, the session's start time of day, and the energy delivered (in kWh). Given the program's date window, daily time window, and minimum energy, report every operator id that has at least one qualifying session.

Input format

Line 1: an integer n, the number of session records. Next n lines: each contains operator_id date time energy, where date is YYYY-MM-DD, time is HH:MM in 24-hour zero-padded form, and energy is a non-negative integer. Next line: startDate endDate, both in YYYY-MM-DD form, with startDate <= endDate. Next line: startTime endTime, both in HH:MM form, with startTime <= endTime. Next line: an integer minEnergy.

Output format

Print the distinct qualifying operator ids in ascending numeric order, space-separated on a single line. Print an empty line if no operator qualifies.

Constraints

• 0 <= n <= 1000
• 1 <= operator_id <= 10000
• All dates lie between 2000-01-01 and 2100-12-31.
• 0 <= energy, minEnergy <= 1000
• A session qualifies only when startDate <= date <= endDate AND startTime <= time <= endTime AND energy >= minEnergy (comparisons on date and time are exact string comparisons on the zero-padded formats above, which agree with chronological order).

3
5 2024-01-10 09:30 50
7 2024-01-15 11:00 20
5 2024-02-01 09:45 80
2024-01-01 2024-01-31
09:00 10:00
40

5

2
3 2024-05-05 08:00 100
3 2024-05-06 08:30 90
2024-05-01 2024-05-31
08:00 09:00
90

3