Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.

5 12
3 4 4 5 5
1 1 1
1 1 4
2 1 1
3 2 2 5 5
1 3 5
1 2 1
1 2 3
2 1 4
2 2 3
2 2 1
3 2 4 5 4

No
No
No

No
No
Yes