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

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

4

7