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