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
1 2
3 7
1 3
3 7
2 3
3 7
1 5
1 6
4 5
3 7

5

6