Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 3 5 10110 00111 10101 6 6 011000 001010 111110 110110 011001 010010
NO NO
YES NO