9 216 145 true
4 5 9 12 13 15 30 38 39