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

9
9 3
7 4
1 5
8 2
4 9
2 9
1 6
3 6

5 12
1 1 1 1 1 2 1 1 3 

5 12
1 1 1 1 1 1 1 1 3