#include "stdio.h"

int nyuu(int );

int sosu(int nyuu){
	int i;
	int count = 0;
	//printf("%d\n", nyuu);
	for(i = 1; i < 3000000;i++){
		if(i % 7 == 6 || i % 7 == 1){
			if(nyuu % i == 0){
				count++;
			}
		}
	}
	if(count == 2){
		return nyuu;
	}
	else {
		return 0;
	}
}

int main(int argc, char const *argv[])
{
	int nyuuryoku;
	int i,j,k;
	int ans;
	while(1){
		scanf("%d",&nyuuryoku);
		if(nyuuryoku == 1){
			break;
		}
		printf("%d:", nyuuryoku);
		for(i = 0;i < 3000000;i++){
			if(i % 7 == 6 || i % 7 == 1){
				if(nyuuryoku % i == 0){
					ans = sosu(i);
					//printf("%d\n", ans);
					if(ans != 0){
						printf("%d ", ans);
					}
				}
			}
		}
		printf("\n");
	}
	return 0;
}