#include<stdio.h>

int List[300000];

void list(void){
	int i, j;
	for (i = 6; i < 300000; i++){
		List[i] = 1;
	}
	for (i = 6; i < 300000; i++){
		for (j = i+i; j < 300000; j += i) List[j] = 0;
	}
}

int main(void){
	int a;
	int i;
	list();
	while (scanf("%d", &a), a != 1){
		printf("%d:", a);
		for (i = 6; i <= a; i++){
			if (a%i == 0 && List[i]) printf(" %d", i);
		}
		putchar('\n');
	}
	return 0;
}