Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
2 8 da cdc ba cab dcd a adc bad 4 ab cb a bc
YES YES
YES YES YES