(defparameter T1 (read-line))
(defparameter T2 (read-line))
(format 't "(~a~a~a)/~%" T1 T2 T1)