9 517 217 true
0 3 4 8 13 17 22 29 35