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