20 516243 10256 true
0 1 2 3 5 7 11 12 13 16 18 19 22 28 29 30 33 36 37 39