AtCoder Regular Contest 145 D