7 640 333 true
0 1 8 10 11 17 25