8 1380 508 true
0 1 4 7 8 10 12 17