13 6010 1144 true
0 1 5 7 9 12 16 21 28 29 34 35 37