#include <stdio.h>
#include <string.h>

int main(int argc, char * argv[]) {

    int i;
    FILE * inFile;
    char readBuff[1024];
    int freq[256];

    inFile = fopen("input", "r");
    fgets(readBuff, 1024, inFile);

    for(i = 0; i < 256; i++) freq[i] = 0;

    for(i = 0; i < strlen(readBuff); i++) {
        freq[readBuff[i]]++;
    }

    for(i = 0; i < 256; i++) {
        if(freq[i] > 0) printf("[ %3d 0x%2x %c ]  * %2d\n", i, i, i, freq[i]);
    }

}