#include<stdio.h>
#include<string.h>

int main(void)
{
    char str[1001]={0};
    char temp[1000][1001]={0};
    scanf("%[^\n]",&str);
    int len=strlen(str);
    int j=0;
    int k=0;
    int flag=0;
    for(int i=0;i<len;i++)
    {
        if(str[i]!='"'&&str[i]!=' ')
        {
            while(str[i]!='"'&&str[i]!=' '&&i<len)
            {
                temp[j][k++]=str[i];
                i++;
            }
            temp[j][k]='\0';
             j++;k=0;
            continue;
        }
        if(str[i]==' '&&i<len)
        {
            
            continue;
        }
        if(str[i]=='"')
        {
            i++;
            while(str[i]!='"'&&i<len)
            {
                temp[j][k++]=str[i];
                i++;
            }
            
            temp[j][k]='\0';
            j++;k=0;
            continue;
        }
        
    }
    printf("%d\n",j);
    for(int i=0;i<j;i++)
    {
     printf("%s\n",temp[i]);  
    }
    return 0;
}