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

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

3