Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 6 4 1101 0000 0000 1111 1000 0010 5 4 0001 1101 1111 1000 0001
NO NO
YES NO