12 1134 375 true
2 3 4 7 9 15 16 19 23 30 31 37