main = do getLine tss <- map ((\[t,s] -> (read t , length s)) . words) . lines <$> getContents let lstr = sum (map snd tss) let lok = typing tss putStrLn (unwords [show lok, show (lstr - lok)]) typing = sum . map (\(t,l) -> min l (div (12*t) 1000))