import java.util.Scanner;
import java.lang.String;

public class Main {
    public static void main(String[] args) {

        Scanner sc = new Scanner(System.in);

        int[] counter = new int[127];
        while (sc.hasNext()) {
            String str = sc.nextLine().toLowerCase();
            for (int i = 0; i < str.length(); i++) {
                counter[str.charAt(i)]++;
            }
        }
        for (char i = 'a'; i <= 'z'; i++) {
            System.out.println(i + " : " + counter[i]);
        }
    }
}
//答え(sc.nextline.toLowerCase();のような関数が連続するところの理解はできるが実装する発想が難しい。。。

/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz