contain_5_7_5 :: [Int] -> Bool
-- Implement code below
contain_5_7_5 arr = cnt 5 arr == 2 && cnt 7 arr == 1
cnt x = length.filter (==x)




-- IO related, you don't have to modify it.
main = getLine >>= putStrLn. f. contain_5_7_5. map read. words
  where f True = "Yes"
        f False = "No"
