9 251 472 true
0 1 2 6 13 16 24 33 35