【Atcoder】（ABC261-E）ユーザ解説コードの不思議