Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
1 13 33 4 2 2 2 9 11 1 12 10 0 0 6 2 1 5 1 6 1 9 1 12 2 3 2 13 3 5 3 6 3 7 3 9 3 13 4 5 4 6 4 9 4 10 4 13 5 6 5 7 5 10 5 12 5 13 6 9 6 11 6 13 7 9 7 11 7 12 7 13 8 10 8 11 8 13 9 10 9 11
YES
NO