8 1557 512 true
6 7 11 13 22 24 29 31