6 712 316 true
1 7 8 15 25 31