“The program operates on facts, and extrapolates from those facts using a complex series of stochastic functions.”