7 1251 437 true
0 1 10 12 17 20 33