#include <stdio.h>

main()
{
	int i, j, count=0;
	
	for(i=1; i<=100; i++){
		for(j=1; j<=i; j++)
			if(i%j == 0)
				count++;
				
		if(count >= 7){
			printf("%3d: ", i);
			
			for(j=1; j<=i; j++)
				if(i % j == 0)
					printf("%4d", j);
					
			printf("\n");
		}
		
		count = 0;
	}

	return(0);
}