seeds = [ 12345678, 123456, 2, 222, 22222, 2222222, 31415926, 404, 62951413, 8008, 99999999, 789654, 10293847, 42, 911, 7861757, 4813633, 8936529, 9859082, 5866811, 6992667, 3535409, 6313453, 1760684, 4038474, 1305734, 524084, 7676954, 8992671, 4290451 ]