Problem:
Score : 500 points

Problem Statement

AtCoDeer is thinking of painting an infinite two-dimensional grid in a checked pattern of side K.
Here, a checked pattern of side K is a pattern where each square is painted black or white so that each connected component of each color is a K × K square.
Below is an example of a checked pattern of side 3:

AtCoDeer has N desires.
The i-th desire is represented by x_i, y_i and c_i.
If c_i is B, it means that he wants to paint the square (x_i,y_i) black; if c_i is W, he wants to paint the square (x_i,y_i) white.
At most how many desires can he satisfy at the same time?

Constraints

1 ≤ N ≤ 10^5

1 ≤ K ≤ 1000

0 ≤ x_i ≤ 10^9

0 ≤ y_i ≤ 10^9

If i ≠ j, then (x_i,y_i) ≠ (x_j,y_j).

c_i is B or W.

N, K, x_i and y_i are integers.

Input

Input is given from Standard Input in the following format:

N K
x_1 y_1 c_1
x_2 y_2 c_2
:
x_N y_N c_N

Output

Print the maximum number of desires that can be satisfied at the same time.

Sample Input 1

4 3
0 1 W
1 2 W
5 3 B
5 4 B

Sample Output 1

4

He can satisfy all his desires by painting as shown in the example above.

Sample Input 2

2 1000
0 0 B
0 1 W

Sample Output 2

2

Sample Input 3

6 2
1 2 B
2 1 W
2 2 B
1 0 B
0 6 W
4 5 W

Sample Output 3

4

Solution in Haskell (GHC 7.10.3) (judge verdict: Memory Limit Exceeded)

import qualified Data.ByteString.Char8 as BC
import Data.Maybe (fromJust)
import Data.Array.IO
import Data.List
import Data.Int
import Control.Monad

type Arr = IOUArray (Int, Int) Int
type PointC = (Int, Int, Char)
type Point = (Int, Int)

main = do
  [n,k] <- map read . words <$> getLine :: IO [Int]
  t <- map (compression k) <$> getInt2DListBC
  arr <- newArray ((0, 0), (2*k-1, 2*k-1)) 0 :: IO Arr
  cum <- newArray ((0, 0), (2*k, 2*k)) 0 :: IO Arr
  let idx = [(i, j) | i <- [1..2*k], j <- [1..2*k]]
      pos = [(i, j) | i <- [1..k], j <- [1..k]] ++ [(i, j) | i <- [k+1..2*k], j <- [1..k]]
  foldM (count k) arr t
  foldM (accum2D arr) cum idx
  ans <- foldM (solve k cum) 0 pos
  print ans
  return ()

solve :: Int -> Arr -> Int -> Point -> IO Int
solve k cum ans (i, j)
  | i+k <= 2*k && j+k <= 2*k = do
    a <- query cum (i, j, i+k, j+k)
    b <- query cum (0, j+k, i, 2*k)
    c <- query cum (i+k, 0, 2*k, j)
    d <- query cum (i+k, j+k, 2*k, 2*k)
    e <- query cum (0, 0, i, j)
    return $ max ans $ a + b + c + d + e
  | i+k <= 2*k && j+k > 2*k = do
    a <- query cum (i, j, i+k, 2*k)
    b <- query cum (i+k, j-k, 2*k, j)
    c <- query cum (i, 0, i+k, j-k)
    d <- query cum (0, j-k, i, j)
    return $ max ans $ a + b + c + d
  | i+k > 2*k && j+k <= 2*k = do
    a <- query cum (i, j, 2*k, j+k)
    b <- query cum (i-k, j+k, i, 2*k)
    c <- query cum (0, j, i-k, j+k)
    d <- query cum (i-k, 0, i, j)
    return $ max ans $ a + b + c + d
  | otherwise = do
    a <- query cum (i, j, 2*k, 2*k)
    b <- query cum (0, j, i-k, 2*k)
    c <- query cum (i-k, j-k, i, j)
    d <- query cum (j, 0, 2*k, j-k)
    e <- query cum (0, 0, i-k, j-k)
    return $ max ans $ a + b + c + d + e

query :: Arr -> (Int, Int, Int, Int) -> IO Int
query cum (i, j, k, l) = do
  a <- readArray cum (i, j)
  b <- readArray cum (i, l)
  c <- readArray cum (k, j)
  d <- readArray cum (k, l)
  return $ a + d - b - c

accum2D :: Arr -> Arr -> Point -> IO Arr
accum2D arr cum (i, j) = do
  x <- readArray cum (i-1, j)
  y <- readArray cum (i, j-1)
  z <- readArray cum (i-1, j-1)
  w <- readArray arr (i-1, j-1)
  writeArray cum (i, j) $ x + y - z + w
  return cum

compression :: Int -> PointC -> Point
compression k (x, y, 'B') = (mod x $ 2*k, mod y $ 2*k)
compression k (x, y, 'W') = (mod x $ 2*k, mod (y+k) $ 2*k)

count :: Int -> Arr -> Point -> IO Arr
count k arr (x,y) = do
  inc arr (x, y)
  return arr

inc :: Arr -> (Int, Int) -> IO ()
inc arr p = do
  x <- readArray arr p
  writeArray arr p $ x + 1

bsToInt :: BC.ByteString -> Int
bsToInt = fst . fromJust . BC.readInt

getInt2DListBC :: IO [PointC]
getInt2DListBC = map ((\[x,y,z] -> (bsToInt x, bsToInt y, head $ BC.unpack z)) . BC.words) . BC.lines <$> BC.getContents