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