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