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