ryougae :: Int -> Int -> Int -> Int ryougae en100 en25 en1 = let cntup1 = cnt1To25 en1 0 en1' = en1 - cntup1 * 25 cntup25 = cnt25To100 (en25 + cntup1) 0 en25' = (en25 + cntup1) - cntup25 * 4 cntup100 = cnt100To1000 (en100 + cntup25) 0 en100' = (en100 + cntup25) - cntup100 * 10 in en100' + en25' + en1' where cnt1To25 en i | en < 25 = i | otherwise = cnt1To25 (en - 25) (i + 1) cnt25To100 en i | en < 4 = i | otherwise = cnt25To100 (en - 4) (i + 1) cnt100To1000 en i | en < 10 = i | otherwise = cnt100To1000 (en - 10) (i + 1) main = do str1 <- getLine str2 <- getLine str3 <- getLine let en_100 = read str1 en_25 = read str2 en_1 = read str3 print $ ryougae en_100 en_25 en_1