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