9 3551 1056 true
0 3 5 9 12 13 15 20 21