7 806 409 true
0 2 3 9 13 15 32