Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
667 18 -1 2 -1 2 -3 -2 2 2 2 1 3 0 1 1 2 -3 2 -3 -3 2 -3 -1 -1 1 0 2 -3 0 1 2 -1 -3 3 0 -3 3 -1 -2 2 3 0 0 -1 -1 3 -3 -1 -3 3 -2 1 -2 0 3 0 -3 -1 -3 0 0 1 3 1 -3 2 -3 3 1 3 3 3 2 3 -2 -3 -1 -1 -2 1 1 0 0 -2 -3 1 0 1 -3 2 -2 1 0 1 -1 -1 3 -1 -1 -3 -2 0 0 2 -1 -3 1 -3 0 3 1 -1 -3 1 -1 1 1 2 3 3 2 0 3 -1 0 -2 -2 -3 -2 -2 -1 -2 -2 1 -2 2 -2 -1 0 0 -2 -1 -2 2 -3 -2 2 1 3 1 -3 0 -2 -3 2 -2 -3 3 -2 -1 -2 -1 2 -3 -3 -1 2 -1 0 -2 -1 1 -1 1 0 3 1 -3 1 2 3 1 3 -3 -3 -2 -3 -2 -2 2 -3 2 -2 0 0 0 -2 1 -1 0 2 3 -3 2 -1 1 -3 -2 2 1 -3 0 -3 -1 -3 2 3 -3 -1 3 3 1 3 0 -3 1 2 -1 1 1 1 1 3 2 -3 -2 3 -1 1 1 0 -1 2 1 -3 2 3 3 -3 1 1 3 -1 1 1 3 0 0 -2 2 0 -3 3 0 -3 -1 -1 0 0 -3 -3 1 0 -1 3 2 -2 0 -2 -1 0 0 -2 -3 -2 1 2 -3 1 -2 2 3 2 0 -2 1 2 -1 0 3 -2 3 -1 0 -1 -2 -3 2 1 3 3 0 2 2 3 -2 1 -3 -1 -1 0 0 1 3 -3 1 -2 1 -3 1 -1 1 1 -3 2 2 3 -3 -3 0 3 3 -3 0 1 1 -2 -1 -2 0 -2 -3 -1 -3 3 2 0 -2 -1 -1 1 2 -2 -1 3 0 -2 1 -1 0 3 0 1 2 2 -1 -2 1 0 0 2 -2 2 0 0 -3 0 -3 2 1 -2 1 -2 -2 1 2 2 -1 -1 2 -2 1 2 1 3 -1 -1 0 -3 2 -1 -3 -1 -2 -1 -1 -2 1 -1 -1 -1 0 3 2 0 1 0 -1 -1 3 -2 -3 3 -3 1 -1 -2 -3 -2 2 -2 -2 2 -2 3 1 1 3 0 -3 -2 -2 3 -3 -3 3 -2 1 -3 -1 1 3 0 -3 -2 1 -3 -1 -2 2 3 2 2 -1 -3 -3 0 0 -3 2 -1 3 2 -3 -3 2 -1 -2 -2 -1 -1 -1 -3 2 -1 -3 3 0 1 2 -3 3 -3 1 -2 0 -2 2 -3 3 -3 3 1 2 3 -2 1 1 1 -3 -3 0 -1 1 -3 -1 3 -1 1 0 -2 2 -1 -2 2 -2 3 0 -3 -1 1 -1 1 -2 -1 -2 3 1 -1 3 -3 1 0 -3 -2 -3 2 -3 -1 2 3 2 -3 0 1 2 -2 -3 -2 -3 -1 -1 2 2 -1 1 3 -1 -3 1 1 -3 -3 -3 2 0 2 2 2 3 0 0 -2 -1 1 3 0 2 -1 3 -2 2 1 -2 0 3 -1 1 -1 -2 -1 -2 3 1 1 0 -2 0 3 3 2 1 2 3 -3 -2 -3 2 1 0 -3 0 0 2 2 0 -3 -1 -1 0 -1 0 -3 -2 -2 -3 3 2 0 -3 -2 -2 3 3 0 -1 -2 3 -3 -1 1 0 0 -1 3 2 -2 -3 1 -3 3 0 1 3 0 -2 -2 -2 1 -2 -3 1 -1 1 2 -3 -3 0 0 3 3 -1 -1 0 -2 2 0 1 -1 -1 0 -1 -3 -3 0 0 -3 -2 -1 -3 1 1 -3 -1 -2 0 3 -3 3 2 1 -2 -1 3 1 -3 0 2 0 -2 -3 0 -3 -1 1 -3 -3 0 -1 -3 -1 -1 -3 0 -2 -2 2 3 -1 2 3 1 0 -2 1 -1 -3 1 3 0 1 0 -3 2 3 -1 2 -1 2 -2 0 1 1 3 -1 3 0 1 2 2 2 3 2 2 2 1 1 0 -3 -1 0 2 -2 -2 -2 -3 2 1 -3 2 2 1 2 1 3 -3 0 3 3 -1 -2 3 -2 -3 1 0 2 -3 0 2 2 2 3 0 -2 -3 0 -3 -1 -3 -3 3 -2 -3 3 3 2 1 0 1 3 2 -3 0 -2 0 -3 -1 -2 -1 1 1 2 -1 -1 -2 3 1 2 2 -3 -2 -3 -1 3 2 1 3 0 2 -2 1 0 -1 -1 -1 -3 -2 -3 1 -1 -3 2 0 2 0 -3 3 -2 -1 2 -2 -1 -1 0 -2 -2 0 3 -2 0 -1 2 2 -3 2 0 3 0 2 -3 -1 0 2 1 -1 3 2 -3 -1 2 -3 -1 3 3 1 1 1 -2 0 3 -2 -3 -3 0 0 0 -1 3 2 -2 -3 -1 1 -3 3 2 0 0 -2 1 -1 -2 2 -2 3 0 0 -1 2 2 -1 -3 1 1 1 2 -2 -3 3 -3 0 2 2 3 -2 -3 0 -2 0 -3 3 3 1 1 -1 -2 2 0 0 2 2 0 2 -3 -3 -3 -2 0 2 -1 2 -2 3 3 -3 1 2 -3 2 1 -2 0 -3 0 -1 -2 3 2 -3 1 2 -2 2 1 1 -1 0 3 3 1 1 2 -2 -3 -1 1 -2 1 2 -3 -1 0 2 0 3 -3 -1 -3 2 0 1 -2 0 3 1 2 3 -2 2 -2 2 -3 2 -1 -1 0 2 -2 -1 3 0 1 -2 -2 3 0 2 0 1 0 1 3 3 1 -2 1 2 1 -3 1 3 3 -3 3 0 -3 0 1 3 -2 -2 2 -2 -2 -2 -3 -3 -2 2 3 1 -1 2 0 3 3 -2 -1 2 0 3 2 0 -3 -1 -1 -1 3 1 -2 3 2 3 -1 -2 3 -1 -2 -1 3 0 -1 -1 -1 0 1 -1 1 2 -1 0 -3 -1 2 1 -3 -1 0 -1 -3 2 2 -3 2 0 -1 1 3 -1 2 3 3 1 -2 -3 -2 3 -2 -2 2 -1 0 -2 2 0 -1 3 2 0 -1 2 2 1 1 0 2 0 3 1 -1 0 -2 1 0 1 3 0 -3 0 1 -1 3 -3 2 -3 2 0 -3 -3 0 -2 -3 -3 -3 1 -2 0 0 -2 -1 1 0 3 2 0 1 3 1 -3 3 2 3 1 0 3 1 1 2 -1 1 -3 -2 3 -2 1 1 -1 2 0 -3 -2 -3 1 2 1 1 -2 3 -3 1 -2 2 -2 2 -1 2 -1 1 -1 2 -2 1 -3 1 0 1 1 0 1 -1 2 2 -3 0 -1 3 -2 -3 1 3 -2 -3 3 2 -2 -2 -1 -2 -2 -3 -2 2 1 -2 3 0 -1 1 -2 -2 -2 0 2 0 -1 3 -2 -1 -2 -1 0 -3 2 0 -2 0 1 3 1 2 3 1 -1 1 0 -1 1 1 -2 0 -2 0 -1 0 -2 0 3 1 0 2 0 0 -2 0 -3 -3 2 2 3 -3 0 -2 -2 -1 -1 2 2 2 2 -1 2 0 -2 -2 2 -1 3 2 3 -2 1 1 -2 1 1 -2 -2 2 3 -3 -1 -2 3 1 -2 0 3 -2 1 -1 -2 -2 1 0 -1 3 -2 1 -2 -1 1 1 0 -2 -2 -2 2 2 -3 -1 1 3 0 -1 -2 -2 2 -1 0 2 2 -2 3 -2 0 2 -3 1 1 -2 1 -2 1 0 -1 -3 -3 2 -3 -1 -3 2 3 2 0 1 0 -2 2 -1 -3 2 2 -3 -1 0 1 -2 1 2 3 -1 -2 -2 -2 -1 3 -1 3 -3 -3 -3 1 0 1 -3 2 1 1 -3 1 -1 1 3 2 -3 2 1 2 2 3 -3 2 -2 3 3 -3 2 3 -2 2 1 3 -2 2 -1 2 -1 -1 2 -2 -1 0 3 -3 3 1 1 2 -3 -1 -3 1 2 2 1 1 0 1 -3 3 0 -1 1 -2 -3 -3 1 1 -3 -1 -3 2 -1 2 -3 2 2 1 -2 -1 -2 3 1 0 2 3 1 0 0 -2 -2 0 -2 -2 -2 3 1 2 2 3 3 1 -3 -3 -1 3 3 3 -3 2 -3 2 2 -3 2 2 3 -3 1 3 2 -2 1 -2 1 0 2 -3 -1 -2 3 0 1 0 -3 2 -1 2 3 -1 1 -1 1 2 0 -3 2 -2 2 -2 -1 0 1 -1 -2 1 1 -1 -2 -1 -1 -1 -1 2 2 -1 -1 -3 2 2 0 1 -2 -2 -1 2 0 -1 -1 2 -2 3 1 2 3 -2 3 -2 3 3 -2 2 -1 -3 1 -2 -1 0 -1 -3 -1 3 -1 1 -1 -3 -2 3 -1 1 -3 2 3 1 2 2 1 2 -2 3 -1 2 -1 3 -1 3 0 3 2 1 1 -3 1 -2 1 -2 0 0 3 -3 2 -2 -3 -3 -1 -2 2 -1 0 0 -2 -2 -3 1 -2 1 1 1 -3 -3 2 0 -1 0 0 1 1 -1 2 -1 -1 3 2 1 1 -2 -1 -1 2 2 0 -3 2 -1 -3 2 1 3 -3 3 2 0 -1 -2 -3 3 -3 -3 0 1 -1 0 0 3 2 -3 -3 -3 -2 1 1 3 2 0 -1 3 0 -1 2 2 -3 -1 3 3 2 1 3 -3 -2 2 1 0 -3 -2 0 1 -3 3 1 -2 -1 3 3 -3 -3 2 0 -1 1 -3 1 -2 -3 2 -2 -2 3 -3 -3 2 3 -3 3 -3 -3 1 3 1 1 2 3 -3 2 0 3 2 -3 3 -2 1 -3 3 0 -2 1 1 -3 2 -1 -1 1 -3 -3 1 1 2 1 -2 3 0 0 1 -2 1 -2 0 1 1 2 -1 -1 0 0 1 2 -2 2 1 -2 1 2 -2 -2 -2 2 1 3 -3 1 2 2 3 -1 -2 0 0 2 -1 3 0 2 -3 -3 2 -3 3 -3 0 0 -3 -2 -2 0 0 -2 -3 -2 -1 1 -3 0 2 0 0 3 1 -2 1 -1 3 -1 0 -2 -2 1 -1 -2 1 3 2 -2 -3 -3 -3 0 -2 2 1 -2 -3 1 2 2 -1 -3 1 -1 -1 -1 -3 -3 0 -3 -3 1 -1 -3 0 -3 -3 35 167 2 354 633 9 341 494 9 330 640 5 67 410 9 346 448 3 206 304 1 427 641 5 446 459 2 335 456 7 314 321 4 57 637 5 225 653 5 479 561 2 453 596 2 213 342 8 382 547 1 113 654 2
44
43