8 145 138 true
0 10 13 15 17 23 30 37