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

4 4
1 2
1 3
2 4
1 3 
3 4 1 3 

8

6