Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.

25

17
1 1
2 2
3 9
4 8
5 7
6 6
7 5
8 4
9 3
10 17
11 16
12 15
13 14
14 13
15 12
16 11
17 10