char a[99999],b[99999],c[99999];
char *q,*p=b+5000;
i;
main(){
  for(;gets(q=a);){
    for(;*q;q+=2){
      *p=*q; p[1]=0;
      while(((p[-800]>0 && p[-800]<48) || p[-800]==94) && isdigit(p[-400]) && isdigit(*p)){
        sprintf(c,"%s %s %s",p-400,p,p-800);
        sprintf(p-800,"%s",c);
        p-=800;
      }
      p+=400;
      /*
      for(i=0;i<10;i++){
        printf("[%s]",b+5000+i*400);
      }puts("");
      */
    }
    puts(p=b+5000);
    bzero(b,99999);
  }
}