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