// editor2
#include<stdio.h>
int main()
{
    int numbers;
    scanf("%d",&n);
    printf(" %d\n",numbers);
    printf(" 02%d\n",numbers);
    printf(" 03%d\n",numbers);
    printf(" 04%d\n",numbers);
    printf(" 05%d\n",numbers);
    printf(" 06%d\n",numbers);
    printf(" 07%d\n",numbers);
    printf(" 08%d\n",numbers);
    return 0;
    
}