9 1811 509 true
0 3 9 12 15 16 23 29 32