#include <stdio.h>
#define MAX 1000000

int main(void) {
  int n;
  int sosuu[MAX];
  int i, j;
  int getsuyou, doyou;
  int count = 0; // 素数の数

  sosuu[0] = 6;
  count++;
  
  for (i=1; i<42857; i++) { 
    // debug
    // printf("**%d**\n",i);

    getsuyou = i*7 +1;
    for (j=0; j<count; j++) {
      if (getsuyou % sosuu[j] == 0)
	break;
    }
    if (j == count) {
      sosuu[count++] = getsuyou;
    }

    doyou = i*7 + 6;
    for (j=0; j<count; j++) {
      if (doyou % sosuu[j] == 0)
	break;
    }
    if (j == count) {
      sosuu[count++] = doyou;
    }
  }

  // debug
  // for (j=0; j<count; j++)
  //  printf("%d ", sosuu[j]);
  // putchar('\n');
  
  // debug
  //printf("count:%d\n", count);
  

  while(scanf("%d", &n) == 1) {
    printf("%d:", n);
    
    if (n == 1)
      return 0;

    for (j=0; j<count; j++) {
      if (n < sosuu[j])
	break;

      if (n % sosuu[j] == 0)
	printf(" %d", sosuu[j]);
    }

    
    putchar('\n');
  }
  return 0;
  
}