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

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

3

4