12 845 277 true
2 4 7 10 11 15 16 22 23 30 35 37