#include <stdint.h>

int64_t ifact(int n) {
	int64_t r = 1;
	while (n > 1) {
		r *= (n--);
	};
	return r;
};