Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
20 11 1 3 11 2 4 6 1 4 16 1 6 16 2 7 13 2 11 14 1 11 19 2 15 17 1 16 17 1 16 18 2 18 20
NO