#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;
}