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

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

YES
NO
YES
YES
NO