Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 3 3 4 acaa 2 3 6 ccaacb
NO bbb NO ba
NO aaa NO aa