13 1955 580 true
0 3 6 8 9 10 12 15 25 27 29 35 39