9 136 309 true
0 8 9 16 17 30 31 37 38