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