//#include<bits/stdc++.h>
#include<fstream>
#include<vector>
#include<iostream>

#define long long long
#define nln '\n'

using namespace std;

// Global variables: f1, f2, n, m

fstream f1, f2;

inline void openf()
{
	f1.open("daycon.inp", ios:: in);
	f2.open("daycon.out", ios:: out);
}

inline void closef()
{
	f1.close();
	f2.close();
}

long n, m;
vector<long> a;

void data()
{
	f1.tie(0)->sync_with_stdio(0);
	f2.tie(0)->sync_with_stdio(0);
	f1 >> n >> m;
}

bool check(long loc)
{
	long dis = loc / 2;
	for (long i = 1; i <= dis; ++i)
	{
		bool sam = 1;
		for (long j = loc - i*2 + 1; j <= loc-i; ++j)
			if (a[j] != a[j+i])
			{
				sam = 0;
				break;
			}
		if (sam)
			return 0;
	}
	return 1;
}

long cou = 0;

void recursion(long i)
{
	if (i > n)
	{
		++cou;
		f2 << cou << " : ";
		for (long j = 1; j <= n; ++j)
			f2 << a[j];
		f2 << nln;
		return;
	}
	for (long j = 1; j <= m; ++j)
	{
		a[i] = j;
		if (check(i))
			recursion(i+1);
	}
}

void process()
{
	a.resize(n+1, 0);
	recursion(1);
}
 
void view()
{
}

int main()
{
	openf();
	data();
	process();
	view();
	closef();
	return 0;
}