Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
2 15 12 6 8 4 14 10 12 15 14 15 5 2 13 12 1 13 15 3 8 14 2 9 11 7 2 12 13 11 14 14 8 13 1 5 6 4 14 7 10 9 3 6 8 13 6 9 12 2 10 10 8 11 3 11 14
3 3
3 2