8 1715 445 true
0 3 4 7 12 20 30 32