import Data.Maybe import Data.List import Control.Applicative main :: IO () main = do n <- read <$> getLine c <- read <$> getLine v <- read <$> getLine s <- map read . words <$> getLine t <- map read . words <$> getLine y <- map read . words <$> getLine m <- map read . words <$> getLine print $ no1 n c v s t y m no1 :: Int -> Int -> Int -> [Int] -> [Int] -> [Int] -> [Int] -> Int no1 n c v s t y m = fromMaybe (-1) $ no1' n c v s t y m no1' :: Int -> Int -> Int -> [Int] -> [Int] -> [Int] -> [Int] -> Maybe Int no1' n c _ s t y m = maybeMinimum $ map time $ filter (\a -> place a == n) $ foldl' (>>=) [PlaceCost { place = 1, coin = c, time = 0 }] $ replicate n (fromToMax n $ createRouteList s t y m) data PlaceCost = PlaceCost { place :: Int , coin :: Int , time :: Int } deriving (Show) data Route = Route { from :: Int , to :: Int , cost :: Int , rtime :: Int } deriving (Show) fromToMax :: Int -> [Route] -> PlaceCost -> [PlaceCost] fromToMax m _ pc | m == place pc = [pc] fromToMax _ [] _ = [] fromToMax m (r:rs) pc | place pc /= from r = fromToMax m rs pc | remainCoin < 0 = fromToMax m rs pc | otherwise = PlaceCost { place = to r, coin = remainCoin , time = tookTime } : fromToMax m rs pc where remainCoin = coin pc - cost r tookTime = time pc + rtime r createRouteList :: [Int] -> [Int] -> [Int] -> [Int] -> [Route] createRouteList = zipWith4 Route maybeMinimum :: (Ord a) => [a] -> Maybe a maybeMinimum [] = Nothing maybeMinimum x = Just $ minimum x