Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 4 7 1111011 1111000 0111101 1111010 5 6 000000 110110 100010 111111 111110
NO NO
YES NO