j,k,m,s,r;main(i){char*o;scanf("%d",&r);m=r+r-1;for(;i