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

5
1 2
4 5
3 5
2 5

3 5
1 1 1 1 1 

3 6
1 2 1 1 1