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

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

3