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