Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
10 0010000110 0011110000 0011110101 1 6 7
1