9 1894 417 true
0 1 3 9 10 14 17 23 25