Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 6 7 0000101 0011011 1011011 0011010 1000101 0001000 3 3 001 010 101
NO YES
YES YES