12 1137 623 true
2 4 7 9 12 15 16 17 20 25 34 38