12 1248 518 true
0 1 2 3 6 16 20 31 34 37 38 39