9 1763 512 true
1 8 9 10 13 15 23 30 35