numlist = raw_input().split(' ')
result = []
for i in numlist:
i = int(i)
if i in result:
continue
else:
result.append(i)
result.sort()
print len(result)
s = ""
for i in result:
s += str(i)
s += ' '
s = s[:-1]
print s
快速帮助 | 运行状态 | 反馈举报 | 关于我们 | 免责声明 | 浙ICP备11060257号 Processed in 0.0037 Second(s) Copyright (C) RQNOJ 2007-2019. All Rights Reserved.