process.stdin.resume();
process.stdin.setEncoding("utf8");

const reader = require("readline").createInterface({
  input: process.stdin,
  output: process.stdout,
});

const lines = [];

reader.on("line", (line) => {
  lines.push(line);
});

reader.on("close", () => {
  const a = Array(26).fill(0);
  lines.forEach((s) => {
    for (let i = 0; i < s.length; i++) {
      a[s[i].toLowerCase().charCodeAt(0) - 97]++;
    }
  });
  for (let i = 0; i < 26; i++) {
    console.log(`${String.fromCharCode(i + 97)} : ${a[i]}`);
  }
});

