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

6 13
1 3 1
3 4 3 5 6
3 5 2 6 4
2 3 1
1 3 6
1 4 5
1 2 1
1 2 6
1 5 4
2 5 4
3 2 1 2 3
2 2 6
3 1 5 2 5

No
No
Yes
Yes