9 2256 445 true
0 1 2 7 9 14 26 28 35