15 5088 712 true
0 1 3 6 10 11 15 19 23 25 26 28 31 37 39