#include<stdio.h>
#include<math.h>
long long k;
int main ()
{
FILE *f=fopen("secv2.in","r");
FILE *g=fopen("secv2.out","w");
fscanf (f,"%lld",&k);
x=pow (2,k) * k;

fprintf(g,"%ld %ld %ld",x);
fclose(f);
fclose(g);
return 0;
}