fun readStr () = let fun scan reader stream = SOME (StringCvt.splitl (not o Char.isSpace) reader (StringCvt.skipWS reader stream)) in valOf (TextIO.scanStream scan TextIO.stdIn) end val () = let val t1 = readStr () val t2 = readStr () val ans = "(" ^ t1 ^ t2 ^ t1 ^ ")/" in print (ans ^ "\n") end