while(str=readline()){
let arr=str.split(" ");
let log=[];
for(let i=0;i<arr.length;i++){
if(arr[i][0]!='"'){
log.push(arr[i])
}else{
let tempStr=arr[i];
if(arr[i][arr[i].length-1]=='"'){
tempStr=tempStr.replace(/"/g,'');
log.push(tempStr);
}else{
for(let j=i+1;j<arr.length;j++){
if(arr[j][arr[j].length-1]=='"'){
tempStr+=" "+arr[j];
tempStr=tempStr.replace(/\"/g,'');
log.push(tempStr);
i=j;
break;
}else{
tempStr+=" "+arr[j];
}
}
}
}
}
console.log(log.length);
log.forEach(item=>console.log(item))
}