12 1930 512 true
2 6 15 16 24 26 28 29 30 35 38 39