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

4 8
1 3 4
1 2 1
3 3 3 4 3
1 4 3
3 1 2 3 3
3 3 1 4 2
3 1 1 4 3
3 1 2 4 3

No
No
Yes
No
No

No
No
No
No
No