Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
20 11+ 000+-00 + 1 11 +0-+-11 + 111+1-+ +-+-+ +11++ +++00+0-1 111+++ 11++ +-0++000 +-+000-0+ 0000+-1 +11+ +-1111 1+-+- +++1-+-0
YES NO YES YES YES NO YES YES YES YES NO YES YES NO NO NO YES YES YES NO
YES NO YES YES YES NO YES YES YES YES NO YES YES NO NO NO YES YES YES YES