#include <stdio.h>
int msn[100000];
int msp[50000];
int main(void){
	int i,j,c,n,N;
	msn[0]=6;
	for(i=1;7*i+6<300000;i++){
		msn[2*i-1]=7*i+1;
		msn[2*i]=7*i+6;
	}
	N=2*i-1;
	c=0;
	for(i=0;i<N;i++){
		for(j=0;msn[j]*msn[j]<=msn[i];j++){
			if(msn[i]%msn[j]==0){
				break;
			}
		}
		if(msn[j]*msn[j]>msn[i]){
			msp[c++]=msn[i];
		}
	}
	while(1){
		scanf("%d",&n);
		if(n==1){
			break;
		}
		printf("%d:",n);
		for(i=0;i<c;i++){
			if(n%msp[i]==0){
				printf(" %d",msp[i]);
			}
		}
		puts("");
	}
	return 0;
}