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