#include<stdio.h>



int main(void) {
    int i,j;
    int input;
    int sosu[300000];

    for(i=6 ; i < 300000; i++) {        
        if( (i % 7) == 1 || (i % 7) == 6) {
            sosu[i] = 1;
        } else {
            sosu[i] = 0;
        }
    }


    
    for(i=6; i < 300000; i++) {        
        if(sosu[i] == 1) {
            for(j = 2; i*j < 300000; j++) {
                sosu[i*j] = 0;
            }
        }
    }

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

        printf("%d: ", input);
        
        for(i=0; i < 300000; i++) {
            if(sosu[i] == 1) {
                if( input % i == 0) {
                    printf("%d ", i);
                }
            }
        }

            

        printf("\n");
    }
    return 0;
}