题解 | #参数解析#

import re

ps = input()
# print(*re.findall("\"[^\"]*\"",ps))
kl = re.findall("\"[^\"]*\"",ps)
for i,s in enumerate(kl):
    ps = ps.replace(s,str(i))
ps = ps.split()
print(len(ps))
for s in ps:
    if s.isdigit():
        print(kl[int(s)].replace("\"",''))
    else:
        print(s)