AtCoder ABC 40C