#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 main(){
int a,b;
int prime[1000],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;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;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+CiNpbmNsdWRlPGNjdHlwZT4KI2luY2x1ZGU8c3RyaW5nPgojaW5jbHVkZTxjbWF0aD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmJvb2wgaXNwcmltZShpbnQgdCl7CiAgICBpZih0PT0yfHx0PT0zKQogICAgICAgIHJldHVybiB0cnVlOwogICAgZWxzZSBpZih0JTI9PTB8fHQlMz09MCkKICAgICAgICByZXR1cm4gZmFsc2U7CiAgICBpbnQgcz1zcXJ0KHQpOwogICAgZm9yKGludCBpPTI7aTw9cztpKyspCiAgICAgICAgaWYodCVpPT0wKQogICAgICAgICAgICByZXR1cm4gZmFsc2U7CiAgICByZXR1cm4gdHJ1ZTsKfQoKaW50IG1haW4oKXsKCgoKICAgIGludCBhLGI7CiAgICBpbnQgcHJpbWVbMTAwMF0sYz0xOwogICAgcHJpbWVbMF09MTsKICAgIGZvcihpbnQgaT0yO2k8MTAwMTtpKyspewogICAgICAgICAgICBpZihpc3ByaW1lKGkpKXsKICAgICAgICAgICAgICAgIHByaW1lW2NdPWk7CiAgICAgICAgICAgICAgICBjKys7CiAgICAgICAgfQogICAgfQogICAgd2hpbGUoY2luPj5hPj5iKXsKICAgICAgICBmb3IoYz0wO2M8MTAwMDtjKyspCiAgICAgICAgICAgIGlmKHByaW1lW2NdPmEpCiAgICAgICAgICAgICAgICBicmVhazsKCgogICAgICAgIGNvdXQ8PGE8PCIgIjw8Yjw8IjoiOwogICAgICAgIGlmKGMlMil7CiAgICAgICAgICAgIGlmKDIqYi0xPmMpCiAgICAgICAgICAgICAgICBmb3IoaW50IGk9MDtwcmltZVtpXTw9YTtpKyspCiAgICAgICAgICAgICAgICAgICAgY291dDw8IiAiPDxwcmltZVtpXTsKICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgICAgZm9yKGludCBpPWMvMi1iKzE7aTw9Yy8yK2ItMTtpKyspCiAgICAgICAgICAgICAgICAgICAgY291dDw8IiAiPDxwcmltZVtpXTsKICAgICAgICB9ZWxzZXsKICAgICAgICAgICAgaWYoMipiPmMpCiAgICAgICAgICAgICAgICBmb3IoaW50IGk9MDtwcmltZVtpXTw9YTtpKyspCiAgICAgICAgICAgICAgICAgICAgY291dDw8IiAiPDxwcmltZVtpXTsKICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgICAgZm9yKGludCBpPWMvMi1iO2k8PWMvMitiLTE7aSsrKQogICAgICAgICAgICAgICAgICAgIGNvdXQ8PCIgIjw8cHJpbWVbaV07CiAgICAgICAgfQogICAgICAgIGNvdXQ8PCJcblxuIjsKICAgIH0KICAgIHJldHVybiAwOwp9