7 806 420 true
0 2 3 9 13 15 32