{-# LANGUAGE ScopedTypeVariables #-}
-- extension section
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE OverloadedStrings #-} 
-- not supported extension
--{-# LANGUAGE Strict, StrictData #-}


module Main where

-- @@@@@@@@@@@@@@@@@--
-- import section   --
-- @@@@@@@@@@@@@@@@@--
--    import A.B.C( function name )  ...
-- or import A.B.C 

--
import Prelude hiding(
  getLine,
  getContents,
  lines,
  words,
  read
  )

--
import Data.Either 
import Control.Monad

-- bytestring


-- containers


-- deepseq


-- regex-posix


-- text
import Data.Text.IO as TIO
import Data.Text as T
import Data.Text.Read as TR
-- unordered-containers


-- vectors
import Data.Vector.Unboxed as UV
import Data.Vector.Unboxed.Mutable as MV

-- mtl
import Control.Monad.ST


-- @@@@@@@@@@@@@@@@@--
-- main section     --
-- @@@@@@@@@@@@@@@@@--

main :: IO ()
main = do
  input <- getInput
  Prelude.putStr . show . getAnswer $ input 
 
-- main :: IO()
-- main = do
--   answer <- getInputandanser
--   putStr . show $ answer


-- @@@@@@@@@@@@@@@@@@@@@--
-- I/O DataType section --
-- @@@@@@@@@@@@@@@@@@@@@--
data Input = I (Int,[Int] )
  deriving(Show)

type Answer = Int

-- instance Show Answer where
--   show = undefined


-- @@@@@@@@@@@@@@@@@--
-- answerSection    --
-- @@@@@@@@@@@@@@@@@--
getInput :: IO Input
getInput = do
  Right (n, _) <- getLine >>= ( return . TR.decimal )
  text2 <- getLine 
  let
    numTexts = fmap textToInt $ words text2 
  return (I (n, numTexts) )
  where 
    textToInt t = case TR.decimal t of
      Right (m , _) -> m

getAnswer :: Input -> Answer 
getAnswer ( I (_ , nums) ) = runST $ do  
  vec <- UV.thaw v
  _ <- Control.Monad.forM nums $ \num -> do
    MV.modify vec (+1) (num + 1)
    MV.modify vec (+1) (num-1 + 1)
    MV.modify vec (+1) (num+1 + 1)
    return num
  returnV <- freeze vec  
  return ( UV.maximum returnV  )
  where v = UV.replicate (100000 + 2)  0 :: UV.Vector Int

getInputAndAnser :: IO Answer
getInputAndAnser = undefined


-- @@@@@@@@@@@@@@@@@@@@@@@@@@--
-- question unique section    --
-- @@@@@@@@@@@@@@@@@@@@@@@@@@--





-- @@@@@@@@@@@@@@@@@--
-- util section     --
-- @@@@@@@@@@@@@@@@@--

-- standard Input Function
gLine :: IO Text
gLine = getLine

gContents :: IO Text
gContents = getContents

