#include<iostream>
#include<cstdio>
#include<algorithm>
#include<vector>
#include<cctype>
#include<string>
#include<cmath>
using namespace std;
bool isprime(int t){
if(t==2||t==3)
return true;
else if(t%2==0||t%3==0)
return false;
int s=sqrt(t);
for(int i=2;i<=s;i++)
if(t%i==0)
return false;
return true;
}
int prime[1001];
int main(){
//freopen("o.txt","w",stdout);
int a,b;
int c=1;
prime[0]=1;
for(int i=2;i<1001;i++){
if(isprime(i)){
prime[c]=i;
c++;
}
}
while(cin>>a>>b){
for(c=0;c<1000;c++)
if(prime[c]>a)
break;
cout<<a<<" "<<b<<":";
if(c%2){
if(2*b-1>c)
for(int i=0;prime[i]<=a && prime[i];i++)
cout<<" "<<prime[i];
else
for(int i=c/2-b+1;i<=c/2+b-1;i++)
cout<<" "<<prime[i];
}else{
if(2*b>c)
for(int i=0;prime[i]<=a&& prime[i];i++)
cout<<" "<<prime[i];
else
for(int i=c/2-b;i<=c/2+b-1;i++)
cout<<" "<<prime[i];
}
cout<<"\n\n";
}
return 0;
}
I2luY2x1ZGU8aW9zdHJlYW0+CiNpbmNsdWRlPGNzdGRpbz4KI2luY2x1ZGU8YWxnb3JpdGhtPgojaW5jbHVkZTx2ZWN0b3I+CiNpbmNsdWRlPGNjdHlwZT4KI2luY2x1ZGU8c3RyaW5nPgojaW5jbHVkZTxjbWF0aD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmJvb2wgaXNwcmltZShpbnQgdCl7CiAgICBpZih0PT0yfHx0PT0zKQogICAgICAgIHJldHVybiB0cnVlOwogICAgZWxzZSBpZih0JTI9PTB8fHQlMz09MCkKICAgICAgICByZXR1cm4gZmFsc2U7CiAgICBpbnQgcz1zcXJ0KHQpOwogICAgZm9yKGludCBpPTI7aTw9cztpKyspCiAgICAgICAgaWYodCVpPT0wKQogICAgICAgICAgICByZXR1cm4gZmFsc2U7CiAgICByZXR1cm4gdHJ1ZTsKfQppbnQgcHJpbWVbMTAwMV07CmludCBtYWluKCl7CiAgICAvL2ZyZW9wZW4oIm8udHh0IiwidyIsc3Rkb3V0KTsKCgogICAgaW50IGEsYjsKICAgIGludCBjPTE7CiAgICBwcmltZVswXT0xOwogICAgZm9yKGludCBpPTI7aTwxMDAxO2krKyl7CiAgICAgICAgICAgIGlmKGlzcHJpbWUoaSkpewogICAgICAgICAgICAgICAgcHJpbWVbY109aTsKICAgICAgICAgICAgICAgIGMrKzsKICAgICAgICB9CiAgICB9CiAgICB3aGlsZShjaW4+PmE+PmIpewogICAgICAgIGZvcihjPTA7YzwxMDAwO2MrKykKICAgICAgICAgICAgaWYocHJpbWVbY10+YSkKICAgICAgICAgICAgICAgIGJyZWFrOwoKCiAgICAgICAgY291dDw8YTw8IiAiPDxiPDwiOiI7CiAgICAgICAgaWYoYyUyKXsKICAgICAgICAgICAgaWYoMipiLTE+YykKICAgICAgICAgICAgICAgIGZvcihpbnQgaT0wO3ByaW1lW2ldPD1hICYmIHByaW1lW2ldO2krKykKICAgICAgICAgICAgICAgICAgICBjb3V0PDwiICI8PHByaW1lW2ldOwogICAgICAgICAgICBlbHNlCiAgICAgICAgICAgICAgICBmb3IoaW50IGk9Yy8yLWIrMTtpPD1jLzIrYi0xO2krKykKICAgICAgICAgICAgICAgICAgICBjb3V0PDwiICI8PHByaW1lW2ldOwogICAgICAgIH1lbHNlewogICAgICAgICAgICBpZigyKmI+YykKICAgICAgICAgICAgICAgIGZvcihpbnQgaT0wO3ByaW1lW2ldPD1hJiYgcHJpbWVbaV07aSsrKQogICAgICAgICAgICAgICAgICAgIGNvdXQ8PCIgIjw8cHJpbWVbaV07CiAgICAgICAgICAgIGVsc2UKICAgICAgICAgICAgICAgIGZvcihpbnQgaT1jLzItYjtpPD1jLzIrYi0xO2krKykKICAgICAgICAgICAgICAgICAgICBjb3V0PDwiICI8PHByaW1lW2ldOwogICAgICAgIH0KICAgICAgICBjb3V0PDwiXG5cbiI7CiAgICB9CiAgICByZXR1cm4gMDsKfQo=