// ACM-ICPC‘“ΰ—\‘I2010 B. ŒŽ—j“y—j‘fˆφ”

#include <iostream>
#include <vector>
#include <stdio.h>

using namespace std;

int main(){
	vector<int> msp; msp.push_back(6);
	int cur = 8, plus = 5;
	while(cur < 300000){
		bool flag = true;
		for(int i=0;flag && msp[i]*msp[i]<=cur;i++)
			if(cur%msp[i] == 0) flag = false;
		if(flag) msp.push_back(cur);
		cur += plus;
		plus = 7-plus;
	}
	int n;
	while(cin >> n, n-1){
		printf("%d:", n);
		for(int i=0;i<msp.size();i++)
			if(n%msp[i]==0) printf(" %d", msp[i]);
		puts("");
	}
}