20 806 280 true
0 1 2 3 5 11 12 13 14 15 17 22 23 25 28 30 32 34 38 39