Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
1 5 3 2 5 2 3 2 1 2 4 1 4 5 3 2
Bob
Alice