{-# LANGUAGE BangPatterns #-} {-# LANGUAGE BinaryLiterals #-} {-# LANGUAGE MultiWayIf #-} {-# LANGUAGE NumDecimals #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TupleSections #-} import Control.Applicative import Control.Arrow import Control.Monad import Control.Monad.ST import Data.Char import Data.List import Data.Maybe import qualified Data.ByteString.Char8 as B import Data.Array.ST.Safe import Data.STRef import Debug.Trace import Text.Printf readInt = readLn :: IO Int readInteger = readLn :: IO Integer readInts = map ( fst . fromJust . B.readInt ) . B.words <$> B.getLine readIntegers = map ( fst . fromJust . B.readInteger ) . B.words <$> B.getLine which a b f = if f then a else b mp [ a, b ] = ( a, b ) modifyArray a i f = writeArray a i =<< f <$> readArray a i main = do [ n, m, k ] <- readInts as <- replicateM n readInts print $ solve n m k as solve n m k as = runST $ do dp <- newArray_ ( ( 0, 0 ), ( n, k ) ) :: ST s ( STUArray s ( Int, Int ) Bool ) writeArray dp ( 0, k ) True forM_ [ 0 .. n - 1 ] $ \i -> do forM_ [ 0 .. k ] $ \j ->do forM_ ( as !! i ) $ \a -> do when ( 0 <= j - a ) $ do b <- readArray dp ( i, j ) modifyArray dp ( i + 1, j - a ) ( || b ) res <- newSTRef ( -1 ) forM_ [ k, k - 1 .. 0 ] $ \j -> do b <- readArray dp ( n, j ) when b $ do writeSTRef res j readSTRef res