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