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