int main(){write("%d",Gmp.fac(32)*0x2a9d9bea29178000);}