Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
5 3 0 1 4 ABAAABBABBABA 4 3 4 4 AABBBBABABABABBAAAAAABB 1 0 3 2 ABABBABABAA 4 3 0 1 AABABBABB 1 0 1 1 BBABA
NO NO NO NO NO
NO NO YES NO NO