题解 | #参数解析#

while True:
    try:
        s = input()
        res = []
        if(s.count('"')) == 0:           # 无引号时直接按空格分割
            res.extend(s.split())
        else:                            # 有引号时先按引号分割
            s1 = s.split('"')            # 引号左边按空格分割
            res.extend(s1[0].split())     
            for i in range(1, len(s1)-1):
                res.append(s1[i])        # 被引号分割的直接添加到结果中
            res.extend(s1[-1].split())   # 引号右边按空格分割
        print(len(res))
        for c in res:
            print(c)
    except:
        break