13 16078 1237 true
0 1 2 5 7 12 15 19 26 30 31 32 35