#include <stdio.h>
int main(){
    int i=0;
    int arr[10];
    int num;
   while(1){
        scanf("%d",&num);
        char c=getchar();
        arr[i]=num;
        i++;
        if(c=='\n'){
            break;
        }}
    printf("%d ",i);
    for(int j=0;j<i;j++){
        printf("%d ",arr[i]);
    }
}