#include<stdio.h>

int monsat(int n);
int monsatp(int n);

int main(void){
  int n,i;
  while(scanf("%d",&n) && n!=1){
    printf("%d:",n);
    for(i=2;i<=n/2;i++){
      if(monsat(i)==0) continue;
      if(n%i!=0) continue;
      if(monsatp(i)==1) printf(" %d",i);
    }
    putchar('\n');
  }
  return 0;
}

int monsat(int n){
  if(n%7==1 || n%7==6) return 1;
  else return 0;
}

int monsatp(int n){
  int i;
  if(monsat(n)==0) return 0;
  for(i=2;i<=n/2;i++){
    if(monsat(i)==0) continue;
    if(n%i==0) return 0;
  }
  return 1;
}