12 8007 874 true
0 2 3 7 10 12 13 19 20 27 28 39