main=putChar(succ(succ(succ(succ(succ('C'))))))>>putChar(succ(succ('c')))>>putChar(succ(succ(succ('i'))))>>putChar(succ(succ(succ('i'))))>>putChar(succ('n'))>>putChar(succ(succ(succ(')'))))>>putChar(' ')>>putChar(succ(succ(succ('t'))))>>putChar(succ('n'))>>putChar('r')>>putChar(succ(succ(succ('i'))))>>putChar(succ('c'))>>putChar(succ(' '))