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

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

3

2