from math import factorial as fac, exp