7 158 217 true
1 2 13 15 17 31 35