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))
}