import std.stdio;int[128]a;int n=30;void main(){a[getchar+1]++<n&&main;a[++n]&&printf("%c:%3d
",n-1,a[n]);}