Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 7 3 101 010 111 100 010 100 110 2 2 11 11
NO YES