#include <stdio.h>
#include <math.h>

int main()
{
    int n;
    while (scanf("%d", &n) != EOF)
    {

        if (n <= 11)
        {
            printf("-1\n");
        }
        else
        {
            int index = 0;
            int num[1000];
            for (int i = 11; i < n; i += 10)
            {
                int flag = 0;
                for (int j = 2; j <= sqrt(i); j++)
                {
                    if (i % j == 0)
                    {
                        flag = 1;
                        break;
                    }
                }
                if (flag == 0)
                {
                    num[index++] = i;
                }
            }

            for (int i = 0; i < index; i++)
            {

                printf("%d", num[i]);
                if (i != index - 1)
                {
                    printf(" ");
                }
            }
            print...