#include <stdio.h>
#include<iostream>
using namespace std;
bool flag[1005];
int primes[1005];
int cnt;
void seive(int n)
{
cnt=0;
primes[cnt++] = 1;
primes[cnt++]=2;
for(int i=3; i<=n; i+=2)
{
if(flag[i] == 0)
{
primes[cnt++] = i;
if(i <= n/i)
{
for(int j=i*i; j<=n; j+=i*2)
flag[j] = 1;
}
}
}
return ;
}
int main()
{
int n,c,res,hi,lo,m;
while(cin>>n>>c)
{
if( n==1)
{
printf("%d %d: %d\n\n",n,c,n);
}
else
{
seive(n);
if(cnt%2==1)
{
res=2*c-1;
}
else
{
res=2*c;
}
if(res<=cnt)
{
printf("%d %d:",n,c);
m=(cnt-res)/2;
for(int i=0;i<res;i++)
printf(" %d",primes[m++]);
printf("\n\n");
}
else
{
printf("%d %d:",n,c);
for(int j =0;j<cnt;j++)
printf(" %d",primes[j]);
printf("\n\n");
}
/*{
hi=2*c;
lo=2*c + 2;
for( int i=hi;i<=lo;i++)
{
cout<<primes[i] ;
}
cout<<"\n";
}*/
}
}
return 0;
}
