Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 7 2 01 1 11 2 10 2 11 2 11 6 10 5 00 4 3 11 1 10 4 01 6 11
1 3