7 1010 512 true
2 5 7 12 13 16 23