Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 3 7 1011101 0111110 1011001 5 2 00 01 10 01 00
NO YES
YES YES