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