fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val a1 = readInt () val _ = readInt () val a2 = readInt () val _ = readInt () val a3 = readInt () val _ = readInt () val ans = if (a1 + a2 + a3) mod 2 = 0 then ":-)" else ":-(" in print (ans ^ "\n") end