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