9 257 402 true
4 8 12 13 17 25 34 35 39