Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 5 4 1100 1101 0010 1100 0010 1 5 10101
YES YES
NO YES