#include<stdio.h>
int main()
{
    int n;
    n=1234
    scanf(%d,&n);
            printf("1 2 3 4")
        }
    }
}