#include <stdio.h>

int main() {
    int n;
    scanf("%d", &n);

    for(int i=1; i<=10; i++){
        printf("%d ", n+i);
    }
    return 0;
}