7 994 316 true
4 12 15 19 25 32 35