9 257 294 true
2 3 7 15 25 33 34 37 38