i,x;main(n){for(scanf("%d",&x);n&&i++<x;n=n*(32L-i)/i);i=!printf("%d %ld",n,n*1L*x/31*0x7FFFFFFF);}