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

7 15
1 7
6 2
4 6
3 1
1 7
1 4
5 7
5 3
3 7
1 5
3 1
1 3
6 1
6 2
7 5

4