13 1937 586 true
0 3 9 10 12 14 16 25 28 32 33 34 35