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

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

6

5