11 1217 512 true
2 5 6 10 12 14 16 17 25 31 32