7 956 439 true
5 6 7 16 17 31 32