#ddcc2018qualb. [ddcc2018_qual_b]チップ・ストーリー ~漆黒編~

[ddcc2018_qual_b]チップ・ストーリー ~漆黒編~

配点: 200200

問題文

写真撮影のプロの DISTO 君は, 黒い正方形のチップの写真を撮り, 下の図のように映った.

ただし, 茶色の枠の内側のみが実際の写真である. また, 緑色の矢印で指した箇所ではチップの頂点が写真の端と接しており、写真の辺を 22 等分している.

DISTO 君は, 写真をより小さな画像データに圧縮しようと思った. 圧縮後の画像データは, NtimesNN \\times N のマス目として表される.
圧縮後の画像データの各マスの色は次のように決まる: 写真の縦と横をそれぞれ NN 等分して NtimesNN \\times N 個の領域に分割したとき, 完全に黒であるような領域に対応するマスのみが黒, そうでないマスは白である.

圧縮後の画像データを構成する N2N^2 個のマスのうち, 黒いマスは何個あるか?

制約

  • NN22 以上 100100 以下の整数

入力

入力は, 以下の形式で標準入力から与えられる.

NN

出力

圧縮後の画像データの黒いマスの個数を出力せよ.


入力例 1

5

出力例 1

5

写真は下図のように 5times55 \\times 5 個の領域に分割され, このうち完全に黒であるような領域の個数は 55 個である.


入力例 2

10

出力例 2

40

写真は 10times1010 \\times 10 個の領域に分割され, そのうち完全に黒であるような領域の個数は 4040 個である.


入力例 3

21

出力例 3

181

写真は 21times2121 \\times 21 個の領域に分割され, そのうち完全に黒であるような領域の個数は 181181 個である.