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

2
7
0 6 5 3 1 4 7 
4
3 0 0 1 

3
2 0 0
1
2