13 8355 805 true
0 1 4 7 10 14 15 18 19 20 25 30 37