int main(){write("%d",Gmp.fac(42)*75603072/131461);}