12 9517 895 true
1 8 9 10 12 13 15 20 30 33 34 37