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

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

5

4