7 217 157 true
1 11 17 19 23 31 38