#include<stdio.h>
int main(){
    int a;
    scanf("%d",&a);
    for(int i=8;i>=7;i--){
    printf(" %d",i,a);
    }
    return 0;
}