6 418 317 true
9 12 17 20 29 32