13 5153 513 true
0 1 4 7 8 12 15 19 20 25 27 28 31