#include<iostream>
#include<vector>
#define Number 300000
using namespace std;

int main(){
  int n;
  int num_table[Number]={0};
  for(int i=0;i<Number;i++){
    if(i%7==1 || i%7==6) num_table[i]=1;
  }
  num_table[1]=0;
  vector<int> prime_table;
  for(int i=6;i<Number;i++){
    if(num_table[i]){
      prime_table.push_back(i);
      for(int j=i+i;j<Number;j+=i){
	num_table[j]=0;
      }
    }
  }

  while(cin>>n,n!=1){
    cout<<n<<":";
    for(int i=0;i<(int)prime_table.size();i++){
      if(n%prime_table[i]==0){
	cout<<" "<<prime_table[i];
      }
    }
    cout<<endl;
  }
  return 0;
}