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