jenga :: Int -> [Int] -> Int jenga n xs | null xs = n | head xs == n = jenga (n - 1) (tail xs) | otherwise = jenga n (tail xs) main = do n <- readLn xs <- map read . words <$> getLine print $ jenga n (reverse xs)