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