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