seeds = [ 12345678, 123456, 2, 222, 22222, 2222222, 31415926, 404, 62951413, 8008, 99999999, 789654, 10293847, 42, 911 ]