#include <stdio.h>

int main(void)
{
    int hscores[100];
    int vscores[100];
    int i = 0, size;

    scanf("%d", &hscores[i]);
    while(hscores[i] != -1) { 
        scanf("%d", &vscores[i]);
        i++;
        scanf("%d", &hscores[i]);
    }
    size = i;
    for(i = size - 1; i >= 0; i = i - 1) {
        if (    ((hscores[i] % 7 == 0) || (hscores[i] % 3 == 0)) && 
                ((vscores[i] % 7 == 0) || (vscores[i] % 3 == 0))) {
            printf("%d %d\n", hscores[i], vscores[i]);
        }
    }


    return 0;
}