23 524 223 true
0 1 3 4 5 6 8 10 11 12 13 14 17 21 22 25 26 29 31 34 35 37 39