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