12 4552 509 true
0 1 2 8 9 13 15 16 20 27 31 39