#include <stdio.h>  

   int main() 
   {  
       int c, nwhite= 0, nother= 0;  
       int ndigit[10];  

       for (int i = 0; i < 10; ++i)  
           ndigit[i] = 0;  

       while ((c = getchar()) != EOF)  {
           if (c >= '0' && c <= '9')  
               ++ndigit[c-'0'];  
           else if (c == ' ' || c == '\n' || c == '\t')  
               ++nwhite;  
           else  
               ++nother;  
  }
       printf("digits =");  
       for (int i = 0; i < 10; ++i)  
           printf(" %d", ndigit[i]);  
       printf(", white space = %d, other = %d\n", nwhite, nother);  
   }