9 129 253 true
0 1 8 17 27 35 37 38 39