Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 3 1 1 0 0 6 3 101 101 001 000 111 100
YES NO
YES YES