AT_abc413_f [ABC413F] No Passage

Description

$ H $ 行 $ W $ 列のグリッドがあります。上から $ i $ 行目、左から $ j $ 列目のマスを $ (i,j) $ と表します。また、このうち $ K $ 個のマスはゴールになっています。 $ i $ 個目 $ (1 \leq i \leq K) $ のゴールはマス $ (R_i, C_i) $ です。 高橋君と青木君はこのグリッドとグリッドの上に置かれた $ 1 $ つのコマを使ってあるゲームをしています。高橋君と青木君はコマがゴールのマスに到達するまで以下の一連の操作を繰り返し行います。 - 青木君は $ 1 $ 以上 $ 4 $ 以下の整数 $ a $ を選ぶ。 - その後、高橋君は $ 1 $ 以上 $ 4 $ 以下の整数 $ b $ を選ぶ。ただし、 $ a \neq b $ を満たす必要がある。操作前にコマが置いてあるマスを $ (i,j) $ としたとき、選んだ整数 $ b $ とコマの位置に応じて以下の通りにコマを移動させる。 - $ b=1 $ のとき: マス $ (i-1,j) $ がグリッド内である場合はコマをマス $ (i,j) $ からマス $ (i-1,j) $ に移動させ、グリッドの外である場合はコマを移動させない。 - $ b=2 $ のとき: マス $ (i+1,j) $ がグリッド内である場合はコマをマス $ (i,j) $ からマス $ (i+1,j) $ に移動させ、グリッドの外である場合はコマを移動させない。 - $ b=3 $ のとき: マス $ (i,j-1) $ がグリッド内である場合はコマをマス $ (i,j) $ からマス $ (i,j-1) $ に移動させ、グリッドの外である場合はコマを移動させない。 - $ b=4 $ のとき: マス $ (i,j+1) $ がグリッド内である場合はコマをマス $ (i,j) $ からマス $ (i,j+1) $ に移動させ、グリッドの外である場合はコマを移動させない。 高橋君の目的はコマがゴールに到達するまでの移動回数を最小化することです。青木君の目的はコマがゴールに到達しないようにすることであり、それが不可能な場合は移動回数を最大化することです。 $ 1 \leq i \leq H,1 \leq j \leq W $ を満たすすべての整数の組 $ (i,j) $ に対して以下の問題を解き、解の総和を求めてください。 > コマがマス $ (i,j) $ にある状態からゲームを始める。両者が各々の目的を目指して最適に行動するとき、高橋君がコマをゴールに到達させることができるのであれば移動回数の最小値、そうでないならば $ 0 $ が解である。

Input Format

入力は以下の形式で標準入力から与えられる。 > $ H $ $ W $ $ K $ $ R_1 $ $ C_1 $ $ R_2 $ $ C_2 $ $ \vdots $ $ R_K $ $ C_K $

Output Format

答えを出力せよ。

Explanation/Hint

### Sample Explanation 1 $ (i,j)=(1,2),(2,1) $ のとき、開始するマスがゴールであるため、解は $ 0 $ です。 $ (i,j)=(1,1),(2,2) $ のとき、どの $ a $ を青木君が選んでも高橋君は $ 1 $ 回の移動でコマをゴールに到達させることができるため、解は $ 1 $ です。 $ (i,j)=(1,3),(2,3) $ のとき、高橋君はコマをゴールに到達させることができないため、解は $ 0 $ です。 これらの合計は $ 0 \times 2 + 1 \times 2 + 0 \times 2 = 2 $ です。よって $ 2 $ を出力します。 ### Constraints - $ 2 \leq H \leq 3000 $ - $ 2 \leq W \leq 3000 $ - $ 1 \leq K \leq \min(HW,3000) $ - $ 1 \leq R_i \leq H $ - $ 1 \leq C_i \leq W $ - $ (R_i,C_i) \neq (R_j,C_j) $ ( $ 1 \leq i < j \leq K $ ) - 入力はすべて整数