s = io.read()
print(string.format("1 %s"), s)