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

1
4
0000
0000
1100
1100

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

2 1 2
2 1 2
1 1
1 2