fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) 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 exception BadInput fun findAns s1 s2 = let fun findAnsAux _ nil _ = raise BadInput | findAnsAux _ _ nil = raise BadInput | findAnsAux index (h1 :: tl1) (h2 :: tl2) = if h1 = h2 then findAnsAux (index + 1) tl1 tl2 else (Int.toString index ^ "\n" ^ h1 ^ "\n" ^ h2 ^ "\n") in findAnsAux 1 s1 s2 end val () = let val n = readInt () val ss = List.tabulate (n, fn _ => readStr ()) val ts = List.tabulate (n, fn _ => readStr ()) val ans = findAns ss ts in print ans end