Travis produced totally different numbers than my machine as the "random" module seems to produce different results on different platforms... not sure how the module is implemented, but I've actually set the seed value above.