15 6292 1011 true
0 1 3 4 7 9 13 18 20 30 32 34 35 36 39