using System.Collections.Generic;
public static void Main()
string input = Console.ReadLine();
string patternLengthString = Console.ReadLine();
int patternLength = Int32.Parse(patternLengthString);
Dictionary<string,int> dict = new Dictionary<string,int>();
for(int i=0;i<=input.Length-patternLength;i++)
string subInput = input.Substring(i,patternLength);
if(dict.ContainsKey(subInput))
foreach(var result in dict)
Console.WriteLine(result.Key + " : " + result.Value);