#include <stdio.h>

/*
 * jyjfÅ é©Ì»èÖ
 *
 * ßèl
 *   - 1 : jyjfÅ é
 *   - 0 : jyjfÅÈ¢
 */
int isMSPrime(int x){
	int i = 6;

	while(i < x){
		if(x % i == 0) return 0;
		if(i % 7 == 1){
			i += 5;
		} else{
			i += 2;
		}
	}
	return 1;
}

int main(void){
	int i;
	int x; //üÍl

	while(1){
		scanf("%d",&x);
		if(x == 1) break;

		printf("%d:",x);

		i = 6; //êÔÅÌjyjf
		while(i <= x){
			if(x % i == 0 && isMSPrime(i)){
				printf(" %d",i);
			}

			if(i % 7 == 1){
				i += 5;
			} else{
				i += 2;
			}
		}
		printf("\n");
	}

	return 0;
}