0001 #include <typeinfo>
0002 #include <cstdio>
0003 
0004 uint64_t facI(int);
0005 uint64_t facR(int);