(7/56)*(6/55)*(5/54)*(4/53)*(3/52)*(2/51)*(1/50) * bin(56,7) * (0.125 ^ 7) * ((1 - 0.125) ^ (56 - 7))