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

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

4