Input: Ket .

Output: V Punc