module Main where
import Data.List;

solve = (++) "Yes\n" . concat . intersperse "<=>" . map (part . head . (dropWhile (' ' ==)))
part var = "(" ++ var : "<=>" ++ var : ")"

main = readFile "important.in" >>= writeFile "important.out" . solve . tail . lines
