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

7 13
1 2
2 6
6 7
2 6
1 2
3 7
1 4
2 4
5 6
2 6
3 6
4 7
1 3

3

5