8 416 303 true
3 5 6 8 15 17 23 31