9 6259 916 true
0 1 5 6 10 11 17 31 37