import Data.List
 
main :: IO ()
main =
  mapM_ (print . find4A)
        [
          "1 5 3 6 : 10"
        , "1 5 3 6 7 : 10"
        , "1 2 3 4 5 : 10"
        , "1 2 3 4 5 6 7 8 : 10"
        ]
 
find4A :: String -> [String]
find4A s = filter ((== y) . eval4A) exprs
  where
    exprs     = combo $ [x1] : map addOperators xs
    x1:xs     = words xs0
    y         = read $ tail y0
    (xs0, y0) = break (==':') s
    addOperators :: String -> [String]
    addOperators x = map (++ x) [" + ", " - ", " * ", " / "]
 
combo :: [[[a]]] -> [[a]]
combo (x:xs) = combo' x xs
  where
    combo' ys []    = ys
    combo' ys (h:t) = combo' [y ++ z | y <- ys, z <- h] t
combo _      = []
 
eval4A :: String -> Double
eval4A s = go (map read xxs) yys
  where
    (xxs, yys) = partition (`notElem` ["+", "-", "*", "/"]) $ words s
    go [x1]       _        = x1
    go (x1:x2:xs) ("*":ys) = go ((x1 * x2) : xs) ys
    go (x1:x2:xs) ("/":ys) = go ((x1 / x2) : xs) ys
    go (x1:xs)    ("+":ys) = x1 + go xs ys
    go (x1:x2:xs) ("-":ys) = x1 + go ((-x2) : xs) ys
    go _          _        = -1
 

aW1wb3J0IERhdGEuTGlzdAoKbWFpbiA6OiBJTyAoKQptYWluID0KICBtYXBNXyAocHJpbnQgLiBmaW5kNEEpCiAgICAgICAgWwogICAgICAgICAgIjEgNSAzIDYgOiAxMCIKICAgICAgICAsICIxIDUgMyA2IDcgOiAxMCIKICAgICAgICAsICIxIDIgMyA0IDUgOiAxMCIKICAgICAgICAsICIxIDIgMyA0IDUgNiA3IDggOiAxMCIKICAgICAgICBdCgpmaW5kNEEgOjogU3RyaW5nIC0+IFtTdHJpbmddCmZpbmQ0QSBzID0gZmlsdGVyICgoPT0geSkgLiBldmFsNEEpIGV4cHJzCiAgd2hlcmUKICAgIGV4cHJzICAgICA9IGNvbWJvICQgW3gxXSA6IG1hcCBhZGRPcGVyYXRvcnMgeHMKICAgIHgxOnhzICAgICA9IHdvcmRzIHhzMAogICAgeSAgICAgICAgID0gcmVhZCAkIHRhaWwgeTAKICAgICh4czAsIHkwKSA9IGJyZWFrICg9PSc6JykgcwogICAgYWRkT3BlcmF0b3JzIDo6IFN0cmluZyAtPiBbU3RyaW5nXQogICAgYWRkT3BlcmF0b3JzIHggPSBtYXAgKCsrIHgpIFsiICsgIiwgIiAtICIsICIgKiAiLCAiIC8gIl0KCmNvbWJvIDo6IFtbW2FdXV0gLT4gW1thXV0KY29tYm8gKHg6eHMpID0gY29tYm8nIHggeHMKICB3aGVyZQogICAgY29tYm8nIHlzIFtdICAgID0geXMKICAgIGNvbWJvJyB5cyAoaDp0KSA9IGNvbWJvJyBbeSArKyB6IHwgeSA8LSB5cywgeiA8LSBoXSB0CmNvbWJvIF8gICAgICA9IFtdCgpldmFsNEEgOjogU3RyaW5nIC0+IERvdWJsZQpldmFsNEEgcyA9IGdvIChtYXAgcmVhZCB4eHMpIHl5cwogIHdoZXJlCiAgICAoeHhzLCB5eXMpID0gcGFydGl0aW9uIChgbm90RWxlbWAgWyIrIiwgIi0iLCAiKiIsICIvIl0pICQgd29yZHMgcwogICAgZ28gW3gxXSAgICAgICBfICAgICAgICA9IHgxCiAgICBnbyAoeDE6eDI6eHMpICgiKiI6eXMpID0gZ28gKCh4MSAqIHgyKSA6IHhzKSB5cwogICAgZ28gKHgxOngyOnhzKSAoIi8iOnlzKSA9IGdvICgoeDEgLyB4MikgOiB4cykgeXMKICAgIGdvICh4MTp4cykgICAgKCIrIjp5cykgPSB4MSArIGdvIHhzIHlzCiAgICBnbyAoeDE6eDI6eHMpICgiLSI6eXMpID0geDEgKyBnbyAoKC14MikgOiB4cykgeXMKICAgIGdvIF8gICAgICAgICAgXyAgICAgICAgPSAtMQo=