print(((["No"]*2)+["01\n22"]+(["No"]*1000))[int(input())])