13 10641 763 true
0 1 3 7 10 11 14 15 20 30 36 37 38