Reduce 1026 (96)
Reduce 2167 (137) (Timeout)