Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 5 5 01111 11100 01101 00100 10100 4 3 001 111 011 111
NO NO
NO YES