Input: Lanfranchi ( Ita ) 12:51 -- 15 .

Output: Int Punc N Punc Num N Num Punc