#include <iostream>
#include <vector>
#define max 300000
using namespace std;
vector<bool> p(300000,true);
void make(vector<bool> &p)
{
p[1]=false;
int i=0;
while(i<=max){
	if(i%7!=1&&i%7!=6)
p[i]=false;
i++;
}
for(int j=0;j<=max;j++){
	if(p[j]){
		int k=2;
		while(j*k<=max){
p[j*k]=false;
			k++;
		}
	}
}
}
int main(void)
{
	make(p);
	int n;
	while(1){
		cin>>n;
		if(n==1)break;
		cout<<n<<":";
		for(int i=0;i<=n;i++){
			if(p[i]){
				if(n%i==0)
				cout<<" "<<i;
			}
		}cout<<endl;
	}
	return 0;
}