8 306 512 true
1 4 7 8 10 12 17 20