0001 int main ( int argc, char* argv[] ) { //׳ 0002 for ( int i = 0; i < 25; i++ ) 0003 printf ( "\t%d\t%22I64d\t%22I64d\n", i, facI ( i ), facR ( i ) ); 0004 return 0; 0005 }