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

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

6638

4622