Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
18 197 189 182 175 168 164 160 141 110 107 101 83 74 71 69 41 40 22 10
474794025
8474794081